Changes between Version 4 and Version 5 of NewtypeWrappers


Ignore:
Timestamp:
Jan 19, 2013 4:21:05 AM (3 years ago)
Author:
shelarcy
Comment:

fix typo

Legend:

Unmodified
Added
Removed
Modified
  • NewtypeWrappers

    v4 v5  
    117117  instance NTC a Int => NTC a Age
    118118}}}
    119 So to solve a `NTC` constraint you unwwap all those newtypes (being careful about abstraction; see next section). 
     119So to solve a `NTC` constraint you unwrap all those newtypes (being careful about abstraction; see next section). 
    120120
    121121This plan requires a bit more paddling under the water on GHC's part, especially during type inference, but it looks a lot more straightforward than I first thought.  Thanks to Roman Cheplyka for advocating this solution.