diff options
| author | bjorn <bjorn@bringert.net> | 2008-05-23 08:47:07 +0000 |
|---|---|---|
| committer | bjorn <bjorn@bringert.net> | 2008-05-23 08:47:07 +0000 |
| commit | 6027c10a0ce4b9c6282276125876092ffadac027 (patch) | |
| tree | 4835db42dec34f82ca03dd203981e26dfe87dd71 /src-3.0/GF/Grammar/PrGrammar.hs | |
| parent | 5aceb18bebac19a5fb0580dd7b232ead0b5bd878 (diff) | |
Get rid of the 'f' type parameter to the module types.
This was only ever instantiated with Option, and made it diificult to change the options type.
Diffstat (limited to 'src-3.0/GF/Grammar/PrGrammar.hs')
| -rw-r--r-- | src-3.0/GF/Grammar/PrGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GF/Grammar/PrGrammar.hs b/src-3.0/GF/Grammar/PrGrammar.hs index 186792eda..734aa13ca 100644 --- a/src-3.0/GF/Grammar/PrGrammar.hs +++ b/src-3.0/GF/Grammar/PrGrammar.hs @@ -245,5 +245,5 @@ lookupIdent c t = case lookupTree prt c t of Ok v -> return v _ -> prtBad "unknown identifier" c -lookupIdentInfo :: Module Ident f a -> Ident -> Err a +lookupIdentInfo :: Module Ident a -> Ident -> Err a lookupIdentInfo mo i = lookupIdent i (jments mo) |