diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-17 14:32:20 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-17 14:32:20 +0000 |
| commit | bd2f46583c058e427bbacd6dbcfc1a0ccdf25718 (patch) | |
| tree | 1acc1b004c800f4c39b28ab34db148e72b35c0d7 /src/GF/Compile/CheckGrammar.hs | |
| parent | 49ca46d95835a74ec581431e668612b3b3589350 (diff) | |
remove the transfer modules. We don't need anything special, a transfer module is module without concrete syntax
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index d5f464a0c..6e6e27c74 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -62,8 +62,6 @@ checkModule ms (name,mo) = checkIn (text "checking module" <+> ppIdent name) $ d js' <- case mtype mo of MTAbstract -> checkMap (checkAbsInfo gr name mo) js - MTTransfer a b -> checkMap (checkAbsInfo gr name mo) js - MTResource -> checkMap (checkResInfo gr name mo) js MTConcrete a -> do |