diff options
Diffstat (limited to 'src/GF/Conversion')
| -rw-r--r-- | src/GF/Conversion/GFCtoSimple.hs | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/GF/Conversion/GFCtoSimple.hs b/src/GF/Conversion/GFCtoSimple.hs index 86a4204f0..bd895155d 100644 --- a/src/GF/Conversion/GFCtoSimple.hs +++ b/src/GF/Conversion/GFCtoSimple.hs @@ -4,9 +4,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/06/23 09:43:40 $ +-- > CVS $Date: 2005/06/23 13:23:01 $ -- > CVS $Author: peb $ --- > CVS $Revision: 1.10 $ +-- > CVS $Revision: 1.11 $ -- -- Converting GFC to SimpleGFC -- @@ -94,7 +94,10 @@ convertConcrete gram (Abs decl args name) = Cnc ltyp largs term ltyp : largs = map (convertCType gram . lookupCType gram) (decl : args) expandTerm :: Env -> A.Term -> A.Term -expandTerm gram term = err error id $ expandLinTables (fst gram) term +expandTerm gram term = tracePrt "expanded term" prt $ + err error id $ expandLinTables (fst gram) $ + tracePrt "initial term" prt $ + term convertCType :: Env -> A.CType -> SLinType convertCType gram (A.RecType rec) = RecT [ (lbl, convertCType gram ctype) | A.Lbg lbl ctype <- rec ] |