include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
-SRC_HC_OPTS += -noC -dcore-lint
+SRC_HC_OPTS += -dcore-lint
+# There used to be a -noC flag, but I removed it because
+# Rn037Help needs to generate an interface file, and
+# if -noC is on I can't see how to. (Driver grottiness.)
-rn017_HC_OPTS = -hi -hi-with-exports
-rn025_HC_OPTS = -hi -hi-with-exports
+# rn017_HC_OPTS = -hi -hi-with-exports
+# rn025_HC_OPTS = -hi -hi-with-exports
+# Rn037Help_HC_OPTS = -hi
include $(TOP)/mk/target.mk
--- /dev/null
+-- !!! Checking that you can hide a constructor
+module ShouldSucceed where
+
+import Rn037Help hiding( C )
+ -- C is the constructor, but we should
+ -- still be able to hide it
+
+f x = Rn037Help.C
+
+
+
+