X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcTyClsDecls.lhs;h=9c4b5b20d8ae954beacb17906e5e734d48cb27e1;hb=f4e4060721bdbeee81d5e9fd3c8d909ece6195df;hp=3d2e4ba8648f3e2689243fbc181910d5945efea4;hpb=aa13a496c2f4d027355002c7103bc38486497b75;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcTyClsDecls.lhs b/compiler/typecheck/TcTyClsDecls.lhs
index 3d2e4ba..9c4b5b2 100644
--- a/compiler/typecheck/TcTyClsDecls.lhs
+++ b/compiler/typecheck/TcTyClsDecls.lhs
@@ -694,6 +694,7 @@ tcTyClDecl1 calc_isrec
   ; want_generic <- doptM Opt_Generics
   ; unbox_strict <- doptM Opt_UnboxStrictFields
   ; gla_exts     <- doptM Opt_GlasgowExts
+  ; empty_data_decls <- doptM Opt_EmptyDataDecls
   ; gadt_ok      <- doptM Opt_GADTs
   ; is_boot	 <- tcIsHsBoot	-- Are we compiling an hs-boot file?
 
@@ -707,8 +708,8 @@ tcTyClDecl1 calc_isrec
   ; checkTc (null stupid_theta || h98_syntax) (badStupidTheta tc_name)
 
 	-- Check that there's at least one condecl,
-	-- or else we're reading an hs-boot file, or -fglasgow-exts
-  ; checkTc (not (null cons) || gla_exts || is_boot)
+	-- or else we're reading an hs-boot file, or -XEmptyDataDecls
+  ; checkTc (not (null cons) || empty_data_decls || is_boot)
 	    (emptyConDeclsErr tc_name)
     
 	-- Check that a newtype has exactly one constructor
@@ -1250,5 +1251,5 @@ tyFamAppInIndexErr ty
 
 emptyConDeclsErr tycon
   = sep [quotes (ppr tycon) <+> ptext SLIT("has no constructors"),
-	 nest 2 $ ptext SLIT("(-fglasgow-exts permits this)")]
+	 nest 2 $ ptext SLIT("(-XEmptyDataDecls permits this)")]
 \end{code}