diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-21 06:56:39 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-21 06:56:39 +0000 |
| commit | af831e01a7baf6de9ac3a475368f7315c99797a7 (patch) | |
| tree | 17e1bc841881069cb51a652489a8efb3e6f26db0 /src/GF/Compile/GrammarToGFCC.hs | |
| parent | 96786c1136332efa9a889227c524ef8fe4e47fe8 (diff) | |
refactoring in GF.Grammar.Macros
Diffstat (limited to 'src/GF/Compile/GrammarToGFCC.hs')
| -rw-r--r-- | src/GF/Compile/GrammarToGFCC.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/GF/Compile/GrammarToGFCC.hs b/src/GF/Compile/GrammarToGFCC.hs index 18e262de7..9d0a45e41 100644 --- a/src/GF/Compile/GrammarToGFCC.hs +++ b/src/GF/Compile/GrammarToGFCC.hs @@ -126,8 +126,8 @@ b2b A.Implicit = C.Implicit mkType :: [Ident] -> A.Type -> C.Type mkType scope t = case GM.typeForm t of - Ok (hyps,(_,cat),args) -> let (scope',hyps') = mkContext scope hyps - in C.DTyp hyps' (i2i cat) (map (mkExp scope') args) + (hyps,(_,cat),args) -> let (scope',hyps') = mkContext scope hyps + in C.DTyp hyps' (i2i cat) (map (mkExp scope') args) mkExp :: [Ident] -> A.Term -> C.Expr mkExp scope t = case GM.termForm t of |