diff options
| author | krasimir <krasimir@chalmers.se> | 2009-09-14 16:23:23 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2009-09-14 16:23:23 +0000 |
| commit | 14dfbcc624dadffcb54e58cbb26f3af24b77595a (patch) | |
| tree | 980f52c77f0f9bb55242aee874fcc7dc88979870 /src/GF/Infra/Modules.hs | |
| parent | 9f3534b3bb4e6bc45301b0ddb9468ca721b3dc17 (diff) | |
clean up the GF.Grammar API
Diffstat (limited to 'src/GF/Infra/Modules.hs')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index 0b951dd14..11e6d0a1f 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -33,7 +33,7 @@ module GF.Infra.Modules ( IdentM(..), abstractOfConcrete, abstractModOfConcrete, lookupModule, lookupModuleType, lookupInfo, - lookupPosition, showPosition, ppPosition, + lookupPosition, ppPosition, isModAbs, isModRes, isModCnc, isModTrans, sameMType, isCompilableModule, isCompleteModule, allAbstracts, greatestAbstract, allResources, @@ -268,12 +268,6 @@ lookupInfo mo i = lookupTree show i (jments mo) lookupPosition :: (Show i, Ord i) => ModInfo i a -> i -> Err (String,(Int,Int)) lookupPosition mo i = lookupTree show i (positions mo) -showPosition :: (Show i, Ord i) => ModInfo i a -> i -> String -showPosition mo i = case lookupPosition mo i of - Ok (f,(b,e)) | b == e -> "in" +++ f ++ ", line" +++ show b - Ok (f,(b,e)) -> "in" +++ f ++ ", lines" +++ show b ++ "-" ++ show e - _ -> "" - ppPosition :: (Show i, Ord i) => ModInfo i a -> i -> Doc ppPosition mo i = case lookupPosition mo i of Ok (f,(b,e)) | b == e -> text "in" <+> text f <> text ", line" <+> int b |