These are chat archives for fthomas/refined

20th
Jun 2016
Miles Sabin
@milessabin
Jun 20 2016 07:30
That ought to be being eliminated in favour of an equality check during erasure.
I guess I should check if this is repl-specific.
Frank S. Thomas
@fthomas
Jun 20 2016 07:49
That would be embarrassing for me - it could have saved me an hour of putting printlns in the compiler ;-)
Frank S. Thomas
@fthomas
Jun 20 2016 11:38
Miles Sabin
@milessabin
Jun 20 2016 12:57
:clap:
Frank S. Thomas
@fthomas
Jun 20 2016 20:10
@milessabin It seems you were right, I can't reproduce the foo(y) == 0 issue in a partest. Even if I imitate the REPL's nested objects.