Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Add possible Const and Distinct witnesses that aren't otherwise in the program.
- elaborateModule :: Eq n => Module a n -> Module a n
- elaborateX :: Eq n => Exp a n -> Exp a n
Safe Haskell | Safe |
---|---|
Language | Haskell98 |
Add possible Const and Distinct witnesses that aren't otherwise in the program.