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