[commit: ghc] wip/T12618: mkCoreConApps: Warn about unsaturated use (6c7668e)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/T12618
Link       : http://ghc.haskell.org/trac/ghc/changeset/6c7668e65cc1901414aa14a8e9d555082cc2c9f3/ghc

>---------------------------------------------------------------

commit 6c7668e65cc1901414aa14a8e9d555082cc2c9f3
Author: Joachim Breitner <mail at joachim-breitner.de>
Date:   Tue Oct 4 14:23:43 2016 -0400

    mkCoreConApps: Warn about unsaturated use


>---------------------------------------------------------------

6c7668e65cc1901414aa14a8e9d555082cc2c9f3
 compiler/coreSyn/MkCore.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/coreSyn/MkCore.hs b/compiler/coreSyn/MkCore.hs
index 58f798c..79d267d 100644
--- a/compiler/coreSyn/MkCore.hs
+++ b/compiler/coreSyn/MkCore.hs
@@ -161,7 +161,8 @@ mkCoreConApps con args
     res_ty = exprType (ConApp con args)
 mkCoreConApps con args
     -- Unsaturated application. TODO #12618 Use wrapper.
-    = mkCoreApps (Var (dataConWorkId con)) args
+    = WARN ( True, "mkCoreConApps: Unsaturated use." )
+      mkCoreApps (Var (dataConWorkId con)) args
 
 mk_val_app :: CoreExpr -> CoreExpr -> Type -> Type -> CoreExpr
 -- Build an application (e1 e2),