diff options
| author | aarne <unknown> | 2005-10-07 10:24:51 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-07 10:24:51 +0000 |
| commit | 01466aa3fdf5ace2b1d0750b6c7d7d919242d3ac (patch) | |
| tree | ffcb7bb087b0c3b499e8485cd02cb018a07823b1 | |
| parent | bf2fdeb22ef950f7f5f375a3f4cf5f90abf87fd8 (diff) | |
cfgm
| -rw-r--r-- | src/GF/Conversion/GFCtoSimple.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/GF/Conversion/GFCtoSimple.hs b/src/GF/Conversion/GFCtoSimple.hs index 3aa9adb6d..de76eeb48 100644 --- a/src/GF/Conversion/GFCtoSimple.hs +++ b/src/GF/Conversion/GFCtoSimple.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/09/20 09:32:56 $ +-- > CVS $Date: 2005/10/07 11:24:51 $ -- > CVS $Author: aarne $ --- > CVS $Revision: 1.14 $ +-- > CVS $Revision: 1.15 $ -- -- Converting GFC to SimpleGFC -- @@ -71,6 +71,7 @@ convertAbstract env fun a convertType :: Var -> [TTerm] -> A.Exp -> SDecl convertType x args (A.EApp a b) = convertType x (convertExp [] b : args) a convertType x args (A.EAtom at) = Decl x (convertCat at) args +convertType x args (A.EProd _ _ b) = convertType x args b ---- AR 7/10 workaround convertType x args exp = error $ "GFCtoSimple.convertType: " ++ prt exp convertExp :: [TTerm] -> A.Exp -> TTerm |