diff options
| author | peb <unknown> | 2005-06-23 12:23:01 +0000 |
|---|---|---|
| committer | peb <unknown> | 2005-06-23 12:23:01 +0000 |
| commit | 34e441d2e35ade46ed560bf7f4139c16a7b0c505 (patch) | |
| tree | f07cac8cfbbea05dcc5576e6b94e5d9a4b920983 /src/GF/Conversion | |
| parent | 46e7ad75aaf247cf477e57a8974fe253f209e6e6 (diff) | |
"Committed_by_peb"
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 ] |