Make TExp's argument have nominal role (Trac #8459)
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 22 Oct 2013 08:47:52 +0000 (09:47 +0100)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 22 Oct 2013 08:47:52 +0000 (09:47 +0100)
Language/Haskell/TH/Syntax.hs

index 9660dcd..c4f4435 100644 (file)
@@ -1,4 +1,4 @@
-{-# LANGUAGE UnboxedTuples #-}
+{-# LANGUAGE UnboxedTuples, RoleAnnotations #-}
 
 -----------------------------------------------------------------------------
 -- |
@@ -156,6 +156,7 @@ instance Applicative Q where
 --
 -----------------------------------------------------
 
+type role TExp nominal   -- See Note [Role of TExp]
 newtype TExp a = TExp { unType :: Exp }
 
 unTypeQ :: Q (TExp a) -> Q Exp
@@ -166,6 +167,19 @@ unsafeTExpCoerce :: Q Exp -> Q (TExp a)
 unsafeTExpCoerce m = do { e <- m
                         ; return (TExp e) }
 
+{- Note [Role of TExp]
+~~~~~~~~~~~~~~~~~~~~~~
+TExp's argument must have a nominal role, not phantom as would
+be inferred (Trac #8459).  Consider
+
+  e :: TExp Age
+  e = MkAge 3
+
+  foo = $(coerce e) + 4::Int
+
+The splice will evaluate to (MkAge 3) and you can't add that to
+4::Int. So you can't coerce a (TExp Age) to a (TExp Int). -}
+
 ----------------------------------------------------
 -- Packaged versions for the programmer, hiding the Quasi-ness