newtype and rules

[John Meacham]

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⑈