Andrés Sicard-Ramírez

icon indicating a website link http://www1.eafit.edu.co/asr/ icon indicating an email [email protected]

icon company Universidad EAFIT

Results 52 comments of Andrés Sicard-Ramírez

The `make type-check` target does not run `stack` (only `cabal` is supported)

No. I switched to `cabal` because its recent versions fixed some issues.

Case-splitting isn't aware that rewrite isn't supposed to be a with block

Bug still exists as of today (2018-05-22).