add test for getWorkerIdAndCons bug.
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
include $(TOP)/mk/boilerplate.mk
include $(TOP)/mk/should_compile.mk
-HC_OPTS += -noC -O -dcore-lint
+SRC_HC_OPTS += -noC -O -dcore-lint
+
+str001_HC_OPTS = -hi
include $(TOP)/mk/target.mk
include $(TOP)/mk/target.mk
--- /dev/null
+module ShouldSucceed where
+
+{-# OPTIONS -O #-}
+
+newtype Num a => Point2 a = Point2 (a,a)
+
+area2 :: Num a => Point2 a -> Point2 a -> Point2 a -> a
+area2 (Point2 (px,py)) (Point2 (qx,qy)) (Point2 (rx,ry))
+ = (px-qx) * (py-ry) - (py-qy) * (px-rx)