@@ -32,6 +32,7 @@ import Language.PureScript.Label (Label(..))
3232import Language.PureScript.Names
3333import Language.PureScript.Pretty
3434import Language.PureScript.Pretty.Common (before, endWith)
35+import Language.PureScript.PSString (decodeString)
3536import Language.PureScript.Traversals
3637import Language.PureScript.Types
3738import qualified Language.PureScript.Publish.BoxesHelpers as BoxHelpers
@@ -1264,7 +1265,7 @@ renderBox = unlines
12641265 whiteSpace = all isSpace
12651266
12661267toTypelevelString :: 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
12681269toTypelevelString (TypeApp (TypeConstructor f) x)
12691270 | f == primName "TypeString" = Just $ typeAsBox x
12701271toTypelevelString (TypeApp (TypeApp (TypeConstructor f) x) ret)