Imported rewrite rules are ignored
21 Dec
2015
21 Dec
'15
1:21 p.m.
Forgot to say: I confirm your observation for ghc-7.* and I checked that the imported rule *does* fire with ghc-6.10.4.
3438
Age (days ago)
3438
Last active (days ago)
0 comments
1 participants
participants (1)
-
Johannes Waldmann