merged work on the SADF library. added support for stack

.gitignore

@@ -6,6 +6,7 @@ dist/*
 cabal.sandbox.config
 src/ForSyDe/Shallow/fig/*
 .#*
+.stack-work/*
 
 # Ignore these directories from sharing sandbox using --sandbox option
 lib/*

README.md

@@ -24,10 +24,41 @@ Installation
 The [`forsyde-shallow`](https://hackage.haskell.org/package/forsyde-shallow)
 package is available through [HackageDB](https://hackage.haskell.org/)
 and the latest stable release can be installed via your favorite
-Haskell package manager, e.g.:
+Haskell package manager.
+
+### Using Stack
+
+The easiest way to getting started is by using the
+[Stack](https://docs.haskellstack.org/en/stable/README/) package
+manager, which takes care of fetching and installing an appropriate
+version of the Haskell compiler, the dependent packages, and sets
+everything up in a sandboxed environment.
+
+    stack update
+    stack upgrade
+    stack install forsyde-shallow
+    stack ghci      # starts an interpreter session
+
+To install the latest updates and nightly builds you need clone
+[this repository](https://github.com/forsyde/forsyde-shallow). To
+install and use the contents of this repository globally, some useful
+commands are:
+
+    stack install
+	stack test                        # runs the test suites
+	stack haddock                     # generates the API documentation
+	stack ghci --no-load              # starts an interpreter session, option given to avoid pre-loading all modules
+
+### Using Cabal
+
+You can use the [Cabal](https://www.haskell.org/cabal/) package
+manager, but then you need to take care of acquiring an appropriate
+Haskell tool suite which includes the GHC compiler and the
+`cabal-install` package.
 
     cabal update
     cabal install forsyde-shallow
+    ghci
 
 To install the latest updates and nightly builds you need clone
 [this repository](https://github.com/forsyde/forsyde-shallow). To

forsyde-shallow.cabal

@@ -1,5 +1,5 @@
 name:           forsyde-shallow
-version:        3.3.2.0
+version:        3.3.3.0
 cabal-version:  >= 1.8
 build-type:     Simple
 license:        BSD3
@@ -14,7 +14,7 @@ synopsis:
 description:
  The ForSyDe (Formal System Design) methodology has been developed with the objective to move system design to a higher level of abstraction and to bridge the abstraction gap by transformational design refinement.
  .
- This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <http://forsyde.ict.kth.se/>. For examples and tutorials using @ForSyDe.Shallow@, check the <https://github.com/forsyde/forsyde-shallow-examples forsyde-shallow-examples> repository.
+ This library provides a shallow implementation of ForSyDe as a Haskell-embedded Domain Specific Language (DSL). For more information, please see ForSyDe's website: <https://forsyde.github.io/>. For examples and tutorials using @ForSyDe.Shallow@, check the <https://github.com/forsyde/forsyde-shallow-examples forsyde-shallow-examples> repository.
  .
  This package is a spin-off of the <https://hackage.haskell.org/package/ForSyDe ForSyDe> project and it follows its versioning.
 category:       Language

src/ForSyDe/Shallow/Utility/PolyArith.hs

@@ -24,8 +24,8 @@ module ForSyDe.Shallow.Utility.PolyArith(
     where 
 
 -- |Polynomial data type.
-data Num a => Poly a = Poly [a]
-         | PolyPair (Poly a, Poly a) deriving (Eq)
+data Poly a = Poly [a]
+            | PolyPair (Poly a, Poly a) deriving (Eq)
 
 
 -- |Multiplication operation of polynomials.

stack.yaml

@@ -0,0 +1,4 @@
+resolver: lts-12.12
+
+packages:
+- .