diff options
| author | krasimir <krasimir@chalmers.se> | 2009-02-23 12:42:44 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-02-23 12:42:44 +0000 |
| commit | 01fef5109c2920d13004ae5b94d192fa5fba205f (patch) | |
| tree | a5211ace0573bbe5397b68681d1949889f73a000 /src/GF/Grammar/PrGrammar.hs | |
| parent | 2bc918bb9a6489d5f40993c8417b147ffc375472 (diff) | |
Perhaps -> Maybe refactoring and better error message for conflicts during module update
Diffstat (limited to 'src/GF/Grammar/PrGrammar.hs')
| -rw-r--r-- | src/GF/Grammar/PrGrammar.hs | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/src/GF/Grammar/PrGrammar.hs b/src/GF/Grammar/PrGrammar.hs index a4a9d9256..1b26d1d48 100644 --- a/src/GF/Grammar/PrGrammar.hs +++ b/src/GF/Grammar/PrGrammar.hs @@ -21,15 +21,8 @@ module GF.Grammar.PrGrammar (Print(..), prtBad, - prGrammar, prModule, - prContext, prParam, - prQIdent, prQIdent_, - prRefinement, prTermOpt, --- prt_Tree, prMarkedTree, prTree, --- tree2string, prprTree, + prGrammar, prConstrs, prConstraints, --- prMetaSubst, prEnv, prMSubst, - prExp, prOperSignature, prTermTabular ) where |