@@ -32,6 +32,7 @@ import Language.PureScript.Label (Label(..))
32import Language.PureScript.Names
32import Language.PureScript.Names
33import Language.PureScript.Pretty
33import Language.PureScript.Pretty
34import Language.PureScript.Pretty.Common (before, endWith)
34import Language.PureScript.Pretty.Common (before, endWith)
35+import Language.PureScript.PSString (decodeString)
35import Language.PureScript.Traversals
36import Language.PureScript.Traversals
36import Language.PureScript.Types
37import Language.PureScript.Types
37import qualified Language.PureScript.Publish.BoxesHelpers as BoxHelpers
38import qualified Language.PureScript.Publish.BoxesHelpers as BoxHelpers
@@ -1264,7 +1265,7 @@ renderBox = unlines
1264 whiteSpace = all isSpace
1265 whiteSpace = all isSpace
1266toTypelevelString :: Type -> Maybe Box.Box
1267toTypelevelString :: Type -> Maybe Box.Box
1267−toTypelevelString (TypeLevelString s) = Just $ Box.text $ T.unpack $ prettyPrintString s
1268+toTypelevelString (TypeLevelString s) = (Box.text . T.unpack) <$> decodeString s
1268toTypelevelString (TypeApp (TypeConstructor f) x)
1269toTypelevelString (TypeApp (TypeConstructor f) x)
1269 | f == primName "TypeString" = Just $ typeAsBox x
1270 | f == primName "TypeString" = Just $ typeAsBox x
1270toTypelevelString (TypeApp (TypeApp (TypeConstructor f) x) ret)
1271toTypelevelString (TypeApp (TypeApp (TypeConstructor f) x) ret)