Comments only
authorSimon Peyton Jones <simonpj@microsoft.com>
Tue, 20 Feb 2018 11:34:45 +0000 (11:34 +0000)
committerSimon Peyton Jones <simonpj@microsoft.com>
Tue, 27 Feb 2018 08:44:45 +0000 (08:44 +0000)
compiler/coreSyn/CoreUtils.hs

index 3d5f4bc..644c0f8 100644 (file)
@@ -1723,6 +1723,8 @@ don't want to discard a seq on it.
 exprIsTopLevelBindable :: CoreExpr -> Type -> Bool
 -- See Note [CoreSyn top-level string literals]
 -- Precondition: exprType expr = ty
+-- Top-level literal strings can't even be wrapped in ticks
+--   see Note [CoreSyn top-level string literals] in CoreSyn
 exprIsTopLevelBindable expr ty
   = exprIsLiteralString expr
   || not (isUnliftedType ty)