diff options
| author | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2010-01-29 21:10:14 +0000 |
| commit | 3b7e39fa4ab2dcfc6ec9591be6476b4240baf671 (patch) | |
| tree | 4a82a254abbf1e801c98964d6e25e20dd132f0f3 /src/compiler/GF/Compile/GrammarToPGF.hs | |
| parent | e5de8ea9fe981a11ffd2672dd047d107e65b63a0 (diff) | |
bugfix in the PGF typechecker and more test cases
Diffstat (limited to 'src/compiler/GF/Compile/GrammarToPGF.hs')
| -rw-r--r-- | src/compiler/GF/Compile/GrammarToPGF.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/compiler/GF/Compile/GrammarToPGF.hs b/src/compiler/GF/Compile/GrammarToPGF.hs index 2fe52f660..364b54bd3 100644 --- a/src/compiler/GF/Compile/GrammarToPGF.hs +++ b/src/compiler/GF/Compile/GrammarToPGF.hs @@ -60,9 +60,9 @@ canon2pgf opts pars cgr@(M.MGrammar ((a,abm):cms)) = do gflags = Map.empty aflags = Map.fromList [(mkCId f,C.LStr x) | (f,x) <- optionsPGF (M.flags abm)] - mkDef (Just eqs) = [C.Equ ps' (mkExp scope' e) | (ps,e) <- eqs, let (scope',ps') = mapAccumL mkPatt [] ps] - mkDef Nothing = [] - + mkDef (Just eqs) = Just [C.Equ ps' (mkExp scope' e) | (ps,e) <- eqs, let (scope',ps') = mapAccumL mkPatt [] ps] + mkDef Nothing = Nothing + mkArrity (Just a) = a mkArrity Nothing = 0 |