@@ -1037,6 +1037,7 @@ instance TH.Lift Namespace where
1037 lift (Namespace xs) =
1037 lift (Namespace xs) =
1038 let xs' = map T.unpack xs
1038 let xs' = map T.unpack xs
1039 in [| Namespace (map T.pack xs') |]
1039 in [| Namespace (map T.pack xs') |]
1040+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
1042instance TH.Lift Verbosity where
1043instance TH.Lift Verbosity where
@@ -1044,6 +1045,7 @@ instance TH.Lift Verbosity where
1044 lift V1 = [| V1 |]
1045 lift V1 = [| V1 |]
1045 lift V2 = [| V2 |]
1046 lift V2 = [| V2 |]
1046 lift V3 = [| V3 |]
1047 lift V3 = [| V3 |]
1048+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
1049instance TH.Lift Severity where
1051instance TH.Lift Severity where
@@ -1055,6 +1057,7 @@ instance TH.Lift Severity where
1055 lift CriticalS = [| CriticalS |]
1057 lift CriticalS = [| CriticalS |]
1056 lift AlertS = [| AlertS |]
1058 lift AlertS = [| AlertS |]
1057 lift EmergencyS = [| EmergencyS |]
1059 lift EmergencyS = [| EmergencyS |]
1060+ liftTyped x = TH.unsafeTExpCoerce (TH.lift x)
1060-- | Lift a location into an Exp.
1063-- | Lift a location into an Exp.