GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 19:42:50 -06:00
Code Issues Packages Projects Releases Wiki Activity

"Committed_by_peb"

Browse Source
This commit is contained in:
peb
2005-08-08 07:09:49 +00:00
parent edab6db989
commit b03a738c44
1 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
src/GF/Conversion/GFCtoSimple.hs
View File

@@ -4,9 +4,9 @@
-- Stability : (stable) -- Stability : (stable)
-- Portability : (portable) -- Portability : (portable)
-- --
-- > CVS $Date: 2005/06/23 14:32:44 $ -- > CVS $Date: 2005/08/08 08:09:49 $
-- > CVS $Author: aarne $ -- > CVS $Author: peb $
-- > CVS $Revision: 1.12 $ -- > CVS $Revision: 1.13 $
-- --
-- Converting GFC to SimpleGFC -- Converting GFC to SimpleGFC
-- --
@@ -94,9 +94,9 @@ convertConcrete gram (Abs decl args name) = Cnc ltyp largs term
ltyp : largs = map (convertCType gram . lookupCType gram) (decl : args) ltyp : largs = map (convertCType gram . lookupCType gram) (decl : args)
expandTerm :: Env -> A.Term -> A.Term expandTerm :: Env -> A.Term -> A.Term
expandTerm gram term = tracePrt "expanded term" prt $ expandTerm gram term = -- tracePrt "expanded term" prt $
err error id $ expandLinTables (fst gram) $ err error id $ expandLinTables (fst gram) $
tracePrt "initial term" prt $ -- tracePrt "initial term" prt $
term term
convertCType :: Env -> A.CType -> SLinType convertCType :: Env -> A.CType -> SLinType