better error reporting in coreTypeToWeakType; dont use Prelude_error

[coq-hetmet.git] / src / HaskStrong.v

diff --git a/src/HaskStrong.v b/src/HaskStrong.v
index bf51e1a..874b368 100644 (file)
--- a/src/HaskStrong.v
+++ b/src/HaskStrong.v
@@ -13,6 +13,7 @@ Require Import HaskLiterals.
 Require Import HaskTyCons.
 Require Import HaskStrongTypes.
 Require Import HaskWeakVars.
 Require Import HaskTyCons.
 Require Import HaskStrongTypes.
 Require Import HaskWeakVars.

+Require Import HaskCoreToWeak.

 Require Import HaskCoreVars.
 
 Section HaskStrong.
 Require Import HaskCoreVars.
 
 Section HaskStrong.