@@ -47,7 +47,9 @@ serviceDecl s n = sfun noLoc n [] (UnGuardedRhs rhs) noBinds
47scopeSig :: Name -> Text -> Decl
47scopeSig :: Name -> Text -> Decl
48scopeSig n v = TypeSig noLoc [n] $
48scopeSig n v = TypeSig noLoc [n] $
49 TyApp (TyCon "Proxy") $
49 TyApp (TyCon "Proxy") $
50− TyPromoted $ PromotedList True [PromotedString (Text.unpack v)]
50+ TyPromoted $ PromotedList True
51+ [ TyPromoted $ PromotedString (Text.unpack v)
52scopeDecl :: Name -> Decl
54scopeDecl :: Name -> Decl
53scopeDecl n = sfun noLoc n [] (UnGuardedRhs (var "Proxy")) noBinds
55scopeDecl n = sfun noLoc n [] (UnGuardedRhs (var "Proxy")) noBinds
@@ -286,7 +288,8 @@ requestDecl n p api url fs m =
287 ss = InsType noLoc (TyApp (TyCon "Scopes") (tycon n)) $
289 ss = InsType noLoc (TyApp (TyCon "Scopes") (tycon n)) $
288 TyPromoted $
290 TyPromoted $
289− PromotedList True (map (PromotedString . Text.unpack) (_mScopes m))
292+ map (TyPromoted . PromotedString . Text.unpack) (_mScopes m)
291 extras = catMaybes [alt, payload]
294 extras = catMaybes [alt, payload]