- User Since
- Dec 1 2014, 11:07 AM (250 w, 4 d)
Jul 15 2015
May 27 2015
Jan 3 2015
Down to a one line change.
Dec 29 2014
Still compiling but onto stage2 so think this successfully re-enables compilation with integer-simple.
Fixed by making consistent with advice from D598.
I just realised that those are functions for rewrite rules - not meant to be exported. I'll fix that up.
This has broken compilation with integer-simple.