Commit deebb073 authored by Jente Hidskes's avatar Jente Hidskes

Build Stratego interpreter

parent 485b4a09
...@@ -6,7 +6,7 @@ packages: ...@@ -6,7 +6,7 @@ packages:
- 'pcf' - 'pcf'
- 'while' - 'while'
- 'lambda-adt' - 'lambda-adt'
#- 'stratego' - 'stratego'
extra-deps: extra-deps:
- numeric-limits-0.1.0.0 - numeric-limits-0.1.0.0
resolver: lts-9.18 resolver: lts-9.18
\ No newline at end of file
...@@ -13,7 +13,7 @@ import qualified Pretty.Haskell as H ...@@ -13,7 +13,7 @@ import qualified Pretty.Haskell as H
-- import qualified Pretty.PCF as P -- import qualified Pretty.PCF as P
import Pretty.Results import Pretty.Results
import Paths_system_s import Paths_sturdy_stratego
import Control.Monad import Control.Monad
import qualified Criterion.Measurement as CM import qualified Criterion.Measurement as CM
......
...@@ -37,38 +37,32 @@ library ...@@ -37,38 +37,32 @@ library
SharedSemantics, SharedSemantics,
ConcreteSemantics, ConcreteSemantics,
WildcardSemantics, WildcardSemantics,
Soundness Soundness,
build-depends: base, Paths_sturdy_stratego
sturdy-lib, build-depends: attoparsec,
deepseq, base,
QuickCheck,
attoparsec,
containers, containers,
hashable, deepseq,
fgl, fgl,
unordered-containers, hashable,
mtl, mtl,
pretty, sturdy-lib,
text, text,
transformers transformers,
unordered-containers,
QuickCheck
hs-source-dirs: src hs-source-dirs: src
default-language: Haskell2010 default-language: Haskell2010
Executable case-studies Executable case-studies
ghc-options: -Wall ghc-options: -Wall
Build-Depends: base, Build-Depends: base,
deepseq,
QuickCheck,
attoparsec,
containers,
criterion, criterion,
hashable,
unordered-containers,
mtl,
pretty, pretty,
sturdy-lib,
sturdy-stratego,
text, text,
vector, unordered-containers
sturdy-stratego
hs-source-dirs: case-studies hs-source-dirs: case-studies
main-is: Main.hs main-is: Main.hs
default-language: Haskell2010 default-language: Haskell2010
...@@ -79,13 +73,10 @@ test-suite specs ...@@ -79,13 +73,10 @@ test-suite specs
hs-source-dirs: test hs-source-dirs: test
main-is: Spec.hs main-is: Spec.hs
build-depends: base, build-depends: base,
hspec,
sturdy-lib,
sturdy-stratego, sturdy-stratego,
containers, text,
hashable,
unordered-containers, unordered-containers,
hspec, QuickCheck
QuickCheck,
pretty,
mtl,
text
default-language: Haskell2010 default-language: Haskell2010
...@@ -7,7 +7,7 @@ module AbstractTypedSemanticsSpec where ...@@ -7,7 +7,7 @@ module AbstractTypedSemanticsSpec where
-- import Signature (Signature) -- import Signature (Signature)
-- import qualified Signature as S -- import qualified Signature as S
-- import InterpreterArrow -- import InterpreterArrow
-- import Paths_system_s -- import Paths_sturdy_stratego
-- import Syntax(parseModule,Strat(..)) -- import Syntax(parseModule,Strat(..))
-- import Data.ATerm(parseATerm) -- import Data.ATerm(parseATerm)
......
...@@ -11,7 +11,7 @@ import ConcreteSemantics ...@@ -11,7 +11,7 @@ import ConcreteSemantics
import Syntax hiding (Fail,TermPattern(..)) import Syntax hiding (Fail,TermPattern(..))
import qualified Syntax as T import qualified Syntax as T
import Paths_system_s import Paths_sturdy_stratego
import Control.Monad import Control.Monad
......
...@@ -9,7 +9,7 @@ module TypedSemanticsSpec where ...@@ -9,7 +9,7 @@ module TypedSemanticsSpec where
-- import Signature (Signature) -- import Signature (Signature)
-- import qualified Signature as S -- import qualified Signature as S
-- import InterpreterArrow -- import InterpreterArrow
-- import Paths_system_s -- import Paths_sturdy_stratego
-- import Syntax(parseModule,Strat(..)) -- import Syntax(parseModule,Strat(..))
-- import Data.ATerm(parseATerm) -- import Data.ATerm(parseATerm)
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment