Mention --allow-unsafe-constructors in the error message for usafe co…

…nstructors
ucsd-progsys · Jan 14, 2025 · 4d70d12 · 4d70d12
1 parent 3b6ee53
commit 4d70d12
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Errors.hs b/liquidhaskell-boot/src/Language/Haskell/Liquid/Types/Errors.hs
@@ -1070,6 +1070,7 @@ ppError' _ dCtx (ErrCtorRefinement _ ctorName)
   = text "Refinement of the data constructor" <+> ctorName <+> "doesn't admit an arbitrary refinements on the return type"
         $+$ dCtx
         $+$ nest 4 (text "Were you trying to use `Prop` from `Language.Haskell.Liquid.ProofCombinators`?")
+        $+$ nest 4 (text "You can disable this error by enabling the flag `--allow-unsafe-constructors`")
 
 ppError' _ dCtx (ErrParseAnn _ msg)
   = text "Malformed annotation"