diff options
Diffstat (limited to 'compiler/deSugar/DsExpr.hs')
| -rw-r--r-- | compiler/deSugar/DsExpr.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/deSugar/DsExpr.hs b/compiler/deSugar/DsExpr.hs index 7e09716223..c5a39c901a 100644 --- a/compiler/deSugar/DsExpr.hs +++ b/compiler/deSugar/DsExpr.hs @@ -1141,7 +1141,8 @@ checkLevPolyFun :: Var -> Type -> DsM () checkLevPolyFun var ty | hasNoBinding var = do { env <- getLclEnv - ; when (dsl_lev_poly_check env && not (null bad_tys)) $ + ; pprTrace "clpf" (ppr (dsl_lev_poly_check env)) $ + when (dsl_lev_poly_check env && not (null bad_tys)) $ levPolyPrimopErr var ty bad_tys } | otherwise = return () |