Updating the Cabal file

shayan-najd · Feb 28, 2015 · 988765a · 988765a
1 parent 0303dec
commit 988765a
Showing 1 changed file with 5 additions and 9 deletions.
diff --git 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,