@@ -1037,6 +1037,7 @@ instance TH.Lift Namespace where
10371037 lift (Namespace xs) =
10381038 let xs' = map T.unpack xs
10391039 in [| Namespace (map T.pack xs') |]
1040+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
10401041
10411042
10421043instance TH.Lift Verbosity where
@@ -1044,6 +1045,7 @@ instance TH.Lift Verbosity where
10441045 lift V1 = [| V1 |]
10451046 lift V2 = [| V2 |]
10461047 lift V3 = [| V3 |]
1048+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
10471049
10481050
10491051instance TH.Lift Severity where
@@ -1055,6 +1057,7 @@ instance TH.Lift Severity where
10551057 lift CriticalS = [| CriticalS |]
10561058 lift AlertS = [| AlertS |]
10571059 lift EmergencyS = [| EmergencyS |]
1060+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
10581061
10591062
10601063-- | Lift a location into an Exp.