From c7a953bb935f578bcbb389e9d4fbe91822ef3f14 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 8 Jan 2004 14:58:46 +0000 Subject: Some bug fixes mostly in editor commands. --- src/GF/Grammar/LookAbs.hs | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'src/GF/Grammar/LookAbs.hs') 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 -- cgit v1.2.3