Imported rewrite rules are ignored
21 Dec
2015
21 Dec
'15
11:51 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.
3676
Age (days ago)
3676
Last active (days ago)
0 comments
1 participants
participants (1)
-
Johannes Waldmann