Merge pull request #947 from GaloisInc/fix-dumptests

Fix bug in `dumpableType` function. Fixes #946.
GaloisInc · Nov 13, 2020 · 7491038 · 7491038
2 parents d00ff6b + fdd7aab
commit 7491038
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -30,3 +30,4 @@ cryptol-2.*
 # ignore test suite output
 /bin
 /output
+/tests/regression/*.out
diff --git a/src/Cryptol/Testing/Random.hs b/src/Cryptol/Testing/Random.hs
@@ -111,7 +111,7 @@ dumpableType ty =
   case tIsFun ty of
     Just (t1, t2) ->
       do g  <- randomValue Concrete t1
-         as <- testableTypeGenerators t2
+         as <- dumpableType t2
          return (g : as)
     Nothing ->
       do (_ :: Gen g Concrete) <- randomValue Concrete ty

diff --git a/tests/regression/dumptests.cry b/tests/regression/dumptests.cry
@@ -0,0 +1,2 @@
+add32 : [32] -> [32] -> [32]
+add32 x y = x + y
diff --git a/tests/regression/dumptests.icry b/tests/regression/dumptests.icry
@@ -0,0 +1,3 @@
+:set tests=100
+:l dumptests.cry
+:dumptests add32.out add32
diff --git a/tests/regression/dumptests.icry.stdout b/tests/regression/dumptests.icry.stdout
@@ -0,0 +1,3 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main