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.
This commit is contained in:
bjorn
2008-05-23 08:47:07 +00:00
parent 5aceb18beb
commit 6027c10a0c
5 changed files with 58 additions and 58 deletions

View File

@@ -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)