summaryrefslogtreecommitdiff
path: root/src/GF/Grammar/LookAbs.hs
diff options
context:
space:
mode:
authoraarne <unknown>2004-01-08 14:58:46 +0000
committeraarne <unknown>2004-01-08 14:58:46 +0000
commitc7a953bb935f578bcbb389e9d4fbe91822ef3f14 (patch)
tree2be6038cd3eb540c483d8134f7f953097a974dce /src/GF/Grammar/LookAbs.hs
parent62e8e319f9490613c1d5bd20f25f109bbd0a3f5d (diff)
Some bug fixes mostly in editor commands.
Diffstat (limited to 'src/GF/Grammar/LookAbs.hs')
-rw-r--r--src/GF/Grammar/LookAbs.hs5
1 files changed, 5 insertions, 0 deletions
diff --git a/src/GF/Grammar/LookAbs.hs b/src/GF/Grammar/LookAbs.hs
index 3cd8999ce..462a77ea8 100644
--- a/src/GF/Grammar/LookAbs.hs
+++ b/src/GF/Grammar/LookAbs.hs
@@ -119,6 +119,11 @@ funsOnTypeFs compat fs val = [((fun,i),typ) |
(i,arg) <- zip [0..] (map snd args),
compat val arg]
+allDefs :: GFCGrammar -> [(Fun,Term)]
+allDefs gr = [((i,c),d) | (i, ModMod m) <- modules gr,
+ isModAbs m,
+ (c, C.AbsFun _ d) <- tree2list (jments m)]
+
-- this is needed at compile time
lookupFunTypeSrc :: Grammar -> Ident -> Ident -> Err Type