diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-12-08 15:01:36 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-12-08 15:01:36 +0000 |
| commit | e548f096e6d3be8408f83fcbdaf47122db3ed353 (patch) | |
| tree | 755ba760a2e4f41c666a8e3d1d8b71ba36eca0e0 /src/GF/Devel/Grammar | |
| parent | 5aca148d2082a057fce7e458b094a1f62b38c073 (diff) | |
GFtoGFCC type checks (but is not correct)
Diffstat (limited to 'src/GF/Devel/Grammar')
| -rw-r--r-- | src/GF/Devel/Grammar/Construct.hs | 4 | ||||
| -rw-r--r-- | src/GF/Devel/Grammar/PrGF.hs | 3 |
2 files changed, 5 insertions, 2 deletions
diff --git a/src/GF/Devel/Grammar/Construct.hs b/src/GF/Devel/Grammar/Construct.hs index dba1ee2fd..bc966fcf6 100644 --- a/src/GF/Devel/Grammar/Construct.hs +++ b/src/GF/Devel/Grammar/Construct.hs @@ -31,8 +31,8 @@ gfModules ms = emptyGF {gfmodules = fromList ms} -- abstractions on Module -emptyModule :: Ident -> Module -emptyModule m = Module MTGrammar True [] [] [] [] empty empty +emptyModule :: Module +emptyModule = Module MTGrammar True [] [] [] [] empty empty isCompleteModule :: Module -> Bool isCompleteModule = miscomplete diff --git a/src/GF/Devel/Grammar/PrGF.hs b/src/GF/Devel/Grammar/PrGF.hs index 09df91efc..221a0ac61 100644 --- a/src/GF/Devel/Grammar/PrGF.hs +++ b/src/GF/Devel/Grammar/PrGF.hs @@ -64,6 +64,9 @@ prtBad s a = Bad (s +++ prt a) prGF :: GF -> String prGF = cprintTree . trGrammar +instance Print GF where + prt = cprintTree . trGrammar + prModule :: SourceModule -> String prModule = cprintTree . trModule |