Fredrik Nordvall Forsberg

icon indicating a website link https://personal.cis.strath.ac.uk/fredrik.nordvall-forsberg/ icon indicating an email [email protected]

icon company University of Strathclyde icon location Glasgow, UK

Results 2 issues of Fredrik Nordvall Forsberg

Parameters not substituted under `if` when displaying types

2 comment

Instantiated parameters under an `if` seem to be displayed as their uninstantiated variable name. (This seems to be a display problem only -- definitions making use of the parameters typecheck...

status: confirmed bug
language: case
implem: resugar
language: if-then-else
implem: unelaboration

fix build with modern GHCs

I hope I've left it reasonably backwards compatible, but I bumped the dependency on base to >= GHC 7.10.1 to avoid CPP conditional nonsense