From d5f12624745edf327b49e515a1ebb5aeb265b70c Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Mon, 30 May 2011 22:57:45 -0700 Subject: [PATCH 1/1] fix bugs in BiGArrow --- examples/BiGArrow.hs | 2 +- examples/Makefile | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/examples/BiGArrow.hs b/examples/BiGArrow.hs index 466fbc2..40ff343 100644 --- a/examples/BiGArrow.hs +++ b/examples/BiGArrow.hs @@ -1,4 +1,4 @@ -{-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds -XFlexibleInstances -XGADTs -XUndecidableInstances #-} +{-# OPTIONS_GHC -XModalTypes -XMultiParamTypeClasses -ddump-types -XNoMonoPatBinds -XFlexibleInstances -XGADTs -XUndecidableInstances -XDatatypeContexts #-} module BiGArrow where import GHC.HetMet.GArrow diff --git a/examples/Makefile b/examples/Makefile index c4fafba..7926143 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -14,7 +14,7 @@ sanity += ImmutableHeap.hs sanity += IsomorphismForCodeTypes.hs sanity += LambdaCalculusInterpreter.hs sanity += TypeSafeRun.hs -sanity += Unflattening.hs +#sanity += Unflattening.hs sanity_opts = -dcore-lint -fforce-recomp -fcoqpass -ddump-coqpass -ddump-to-file sanity_opts += -fsimpleopt-before-flatten -- 1.7.10.4