RE: newtype and rules
10 Feb
2006
10 Feb
'06
4:18 a.m.
| I am curious if rules pragmas are applied before or after newtype | desugaring? The matching function respects newtypes. | basically what I want to know is if I have a newtype of an | Int say, and make a rule acting on the newtype, will it be applied to | any Int as well? No, it shouldn't be. Simon
12 Feb
12 Feb
11:07 p.m.
New subject: newtype and rules
On Fri, Feb 10, 2006 at 09:18:46AM -0000, Simon Peyton-Jones wrote:
| I am curious if rules pragmas are applied before or after newtype | desugaring?
The matching function respects newtypes.
Cool. this is what I expected but wanted to verify before I started introducing some very obscure heisenbugs (as bad rules that typecheck tend to manifest themselves) :) John -- John Meacham - ⑆repetae.net⑆john⑈
7037
Age (days ago)
7040
Last active (days ago)
1 comments
2 participants
participants (2)
-
John Meacham -
Simon Peyton-Jones