poly constraint generator solver

chapter7/poly/poly.cabal

@@ -18,6 +18,16 @@ executable poly
     , mtl           >= 2.2   && <2.3
     , transformers  >= 0.4.2 && <0.5
     , repline       >= 0.1.2.0
+
+  other-modules:
+    Eval
+    Infer
+    Lexer
+    Parser
+    Pretty
+    Syntax
+    Type
+
   default-language:    Haskell2010
   hs-source-dirs:      src
   main-is:             Main.hs

chapter7/poly_constraints/poly.cabal

@@ -10,7 +10,7 @@ cabal-version:       >=1.10
 
 executable poly
   build-depends:       
-      base          >= 4.6   && <4.7
+      base          >= 4.6   && <4.9
     , pretty        >= 1.1   && <1.2
     , parsec        >= 3.1   && <3.2
     , text          >= 1.2   && <1.3
@@ -18,5 +18,16 @@ executable poly
     , mtl           >= 2.2   && <2.3
     , transformers  >= 0.4.2 && <0.5
     , repline       >= 0.1.2.0
+
+  other-modules:
+    Eval
+    Infer
+    Lexer
+    Parser
+    Pretty
+    Syntax
+    Type
+
   default-language:    Haskell2010
+  hs-source-dirs:      src
   main-is:             Main.hs

chapter7/poly_constraints/stack.yaml

@@ -0,0 +1,7 @@
+resolver: lts-3.15
+packages:
+- '.'
+extra-deps:
+- repline-0.1.4.0
+flags: {}
+extra-package-dbs: []