From 988765a92cd5c2d4b92bee880d8b4e6b19a4e7ce Mon Sep 17 00:00:00 2001 From: Shayan Najd Date: Sat, 28 Feb 2015 02:28:07 +0000 Subject: [PATCH] Updating the Cabal file --- QFeldspar.cabal | 14 +++++--------- 1 file changed, 5 insertions(+), 9 deletions(-) diff --git a/QFeldspar.cabal b/QFeldspar.cabal index de4c76c..a8ec962 100644 --- a/QFeldspar.cabal +++ b/QFeldspar.cabal @@ -59,12 +59,8 @@ library QFeldspar.Type.Herbrand, QFeldspar.Type.Conversion, QFeldspar.Type.ADT, - QFeldspar.CSE.GADTHigherOrder, - QFeldspar.CSE.MiniFeldspar, - QFeldspar.CSE.GADTFirstOrder, - QFeldspar.Normalisation.GADTHigherOrder, - QFeldspar.Normalisation.MiniFeldspar, - QFeldspar.Normalisation.GADTFirstOrder, + QFeldspar.CSE, + QFeldspar.Normalisation, QFeldspar.Expression.GADTHigherOrder, QFeldspar.Expression.GADTValue, QFeldspar.Expression.ADTValue, @@ -89,6 +85,8 @@ library QFeldspar.Expression.Utils.Show.GADTHigherOrder, QFeldspar.Expression.Utils.Show.MiniFeldspar, QFeldspar.Expression.Utils.Show.GADTFirstOrder, + QFeldspar.Expression.Utils.Reuse.MiniFeldspar, + QFeldspar.Expression.Utils.Reuse.GADTHigherOrder, QFeldspar.Expression.Conversions.Unquoting, QFeldspar.Expression.Conversions.TypeWithnessing, QFeldspar.Expression.Conversions.Normalisation, @@ -107,9 +105,7 @@ library QFeldspar.Nat.GADT, QFeldspar.Nat.Conversion, QFeldspar.Nat.ADT, - QFeldspar.Simplification.GADTHigherOrder, - QFeldspar.Simplification.MiniFeldspar, - QFeldspar.Simplification.GADTFirstOrder, + QFeldspar.Simplification QFeldspar.Variable.Typed, QFeldspar.Variable.Plain, QFeldspar.Variable.Scoped,