diff options
| author | aarne <aarne@chalmers.se> | 2011-09-20 16:00:56 +0000 |
|---|---|---|
| committer | aarne <aarne@chalmers.se> | 2011-09-20 16:00:56 +0000 |
| commit | 33a42b1c7ca74fd4484fd143b5396d61fa924eb7 (patch) | |
| tree | 0926903cd3a7feae14ad29167c6faeb96a2ba3df /src/compiler/GF/Grammar/Grammar.hs | |
| parent | a2ccf1ce6965e93eff9a3d7bef064cb3cab448f5 (diff) | |
module for analysing source grammars
Diffstat (limited to 'src/compiler/GF/Grammar/Grammar.hs')
| -rw-r--r-- | src/compiler/GF/Grammar/Grammar.hs | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/compiler/GF/Grammar/Grammar.hs b/src/compiler/GF/Grammar/Grammar.hs index 2c84351af..686164539 100644 --- a/src/compiler/GF/Grammar/Grammar.hs +++ b/src/compiler/GF/Grammar/Grammar.hs @@ -16,7 +16,6 @@ module GF.Grammar.Grammar (SourceGrammar, emptySourceGrammar,mGrammar, - stripSourceGrammar, SourceModInfo, SourceModule, mapSourceModule, @@ -241,19 +240,3 @@ label2ident :: Label -> Ident label2ident (LIdent s) = identC s label2ident (LVar i) = identC (BS.pack ('$':show i)) - -stripSourceGrammar :: SourceGrammar -> SourceGrammar -stripSourceGrammar sgr = sgr --mGrammar [(i, m{jments = Map.map }) | (i,m) <- modules sgr] - -stripInfo :: Info -> Info -stripInfo i = case i of - AbsCat _ -> i - AbsFun mt mi me mb -> AbsFun mt mi Nothing mb - ResParam mp mt -> ResParam mp Nothing - ResValue lt -> i ---- - ResOper mt md -> ResOper mt Nothing - ResOverload is fs -> ResOverload is [(lty, L loc (EInt 0)) | (lty,L loc _) <- fs] - CncCat mty mte mtf -> CncCat mty Nothing Nothing - CncFun mict mte mtf -> CncFun mict Nothing Nothing - AnyInd b f -> i - |
