• Simon Peyton Jones's avatar
    Test for newtype with unboxed argument · 1f09c16c
    Simon Peyton Jones authored
    Newtypes cannot (currently) have an unboxed argument type.
    But Trac #12729 showed that this was only being checked for
    newtypes in H98 syntax; in GADT snytax they were let through.
    
    This patch moves the test to checkValidDataCon, where it properly
    belongs.
    1f09c16c
TcHsType.hs 88.2 KB