From e548f096e6d3be8408f83fcbdaf47122db3ed353 Mon Sep 17 00:00:00 2001 From: aarne Date: Sat, 8 Dec 2007 15:01:36 +0000 Subject: GFtoGFCC type checks (but is not correct) --- src/GF/Devel/Grammar/Construct.hs | 4 ++-- src/GF/Devel/Grammar/PrGF.hs | 3 +++ 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'src/GF/Devel/Grammar') 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 -- cgit v1.2.3