Adapt tests to the `--strip-result` flag - Githubissues

kframework / haskell-core-semantics

Haskell's Core in K.

Other

20 stars 0 forks source link

Adapt tests to the `--strip-result` flag #8

Closed ayberkt closed 7 years ago

ayberkt commented 7 years ago

The following files in test/haskell need to be changed:

[x] Bool.hs
[x] BouncyNumbers.hs
[x] ChurchBool.hs
[x] ChurchNat.hs
[x] ChurchNat2.hs
[x] ChurchNat3.hs
[x] Compose.hs
[x] Identity.hs
[x] Imports.hs
[x] Integers.hs
[x] LetRec.hs
[x] Primes.hs
[x] Rationals.hs
[x] Sum.hs