Trevor Elliott
3d67018c70
Ignore the bytes output of issue220
2016-05-31 11:53:38 -07:00
Trevor Elliott
3c59bf3231
Update the test output for mono-bind test 4
...
The type variable name was the only change.
2016-05-31 11:51:01 -07:00
Brian Huffman
3b524e1ae5
Fix test output for issue093.
...
Since #171 was fixed in b77dd2a8
2016-05-31 10:34:51 -07:00
Trevor Elliott
a139c4e1d1
Fixes #304
2016-05-27 22:00:43 -07:00
Trevor Elliott
7976026789
Update test output renamer errors
2016-05-27 18:50:27 -07:00
Brian Huffman
c6144bd332
Update output for tests 256 and 335
...
The :t command now parenthesizes the term when needed.
2016-05-27 16:25:14 -07:00
Trevor Elliott
0393c8c54d
Fixes #335
...
The local type bindings from type annotations in patterns were not being
processed correctly, and built-in type/type-functions were getting shadowed in
binders.
2016-05-24 11:58:55 -07:00
Robert Dockins
38946745c3
Add the 'lg2' type function as a synonym.
...
Fixes #248
2016-05-04 17:54:08 -07:00
Robert Dockins
b6a83d7cb8
Make a friendlier, non-panic error message for cases where patterns
...
introduce nontrivial constraints.
Fixes #290
2016-05-04 17:38:16 -07:00
Robert Dockins
c620cbf237
Update the parser to allow prefix operators in more places.
...
This allows us to define (~) as a prefix operator symbol synonym
for `complement`.
Fixes #296 .
2016-05-04 16:26:36 -07:00
Trevor Elliott
cf979723b7
Fixes #322
...
Just needed to recurse through the parens and infix cases in `appTys`.
2016-04-07 21:26:21 -07:00
Brian Huffman
b77dd2a82a
:prove checks properties in the order they appear in the source.
...
Also add a regression test. Fixes #171 .
2016-03-10 11:36:41 -05:00
Thomas M. DuBuisson
10acbdbfb8
Add comment in README explaining how to run tests.
2016-03-04 09:05:47 -08:00
Thomas M. DuBuisson
b40c1ce25d
Add known failure for issue 314.
2016-03-04 09:05:23 -08:00
Thomas M. DuBuisson
edb9373c4e
Add test case for issue #314
2016-03-04 08:58:50 -08:00
Brian Huffman
1953223e9f
Add test case for issue #312 .
2016-02-19 11:53:33 -08:00
Brian Huffman
1322156d28
Remove trailing whitespace
2016-02-19 10:08:20 -08:00
Brian Huffman
6def46da69
Add (failing) test for issue #2 .
2016-02-12 14:46:06 -08:00
Iavor S. Diatchki
f7823544cf
Add a test for ticket #308
2016-02-09 11:56:44 -08:00
Brian Huffman
ab4f113084
Add regression test for issue #256 .
2016-02-08 15:09:34 -08:00
Brian Huffman
9538c59d23
Fix shift/rotate by amounts greater than 2^63 in evaluator
...
Also added regression tests. This should fix issue #306 .
2016-01-27 10:37:55 -08:00
Adam C. Foltzer
4d3fc9a413
Update copyright dates and add missing headers
2016-01-19 18:19:35 -08:00
Adam C. Foltzer
4029b6c15c
add a test for #126
2016-01-19 18:18:03 -08:00
Adam C. Foltzer
07da2018b7
switch to more portable seeding for random
...
The `random` primitive previously took a `[32]` seed, but this causes
inconsistency between 32-bit and 64-bit platforms when the seed is large
enough to wrap around in GHC's representation of an `Int`. This patch
switches to an API that seeds directly with four 64-bit words, and so
should behave the same way on our supported platforms.
2016-01-19 18:17:34 -08:00
Adam C. Foltzer
ac85cec175
update test with counterexample that z3 produces
...
These sorts of tests are inherently unstable, but since Z3 seems to
agree across our platforms on this one, this should help make tests quieter.
2016-01-12 16:50:22 -08:00
Adam C. Foltzer
9e179d14bc
finally add Even-Mansour example; closes #124
2016-01-12 16:49:47 -08:00
Thomas M. DuBuisson
752310cd0d
Merge branch 'master' into writeFile
2015-12-25 21:39:01 -08:00
Adam C. Foltzer
9c07fe1006
merge in the 2.2.6 changes, including z3 switch
2015-12-23 16:10:56 -08:00
Adam C. Foltzer
3ae0dda7ac
switch to Z3 for typechecking and proving
...
Note: the hardcoding in this patch is only for the 2.2 hotfix branch; in
the 2.3 branch we will only have to change the default setting for the
typechecker.
2015-12-23 14:59:10 -08:00
Adam C. Foltzer
aeefab69a1
refactor :check and :exhaust
...
This is to set up improvements to the cryptol-server, and therefore
pycryptol interface.
This patch also fixes a regression in pretty-printing output caused by a
previous error in fixity of the `<>` operator
2015-12-22 18:17:20 -08:00
Thomas M. DuBuisson
3afdae127a
Add known failure notice for issue 212
2015-12-10 12:36:06 -08:00
Thomas M. DuBuisson
b355dedcf8
Test files for read/write bytearray command.
2015-11-15 10:42:04 -08:00
Trevor Elliott
39bac2034a
Merge remote-tracking branch 'origin/master' into wip/name-change
2015-10-16 13:23:29 -07:00
Adam C. Foltzer
ad3fdb4e14
use base-compat to remove much CPP
2015-10-08 16:54:08 -07:00
Trevor Elliott
cacc59529e
Update test output
2015-09-29 17:35:18 -07:00
Trevor Elliott
f8e6582230
Update tests and output
2015-09-28 21:26:26 -07:00
Trevor Elliott
60694f8456
Output format changed
2015-09-28 12:07:42 -07:00
Trevor Elliott
b4fbec108e
Update some test output
...
The core AST now always prints fully-qualified names.
2015-09-27 19:56:58 -05:00
Trevor Elliott
d71fd8a3ee
Issue #148 is fixed now
2015-08-14 17:38:50 -07:00
Iavor S. Diatchki
c9e4fab6a8
Fix up tests.
2015-08-12 15:52:18 -07:00
Daniel Wagner
a958ce3328
regression test for a specializer bug
2015-07-23 18:08:14 -07:00
Adam C. Foltzer
494bf6d92e
tweak patch in 170e5953 to work for 7.8; add test
2015-07-01 12:31:37 -04:00
Trevor Elliott
4d469fa2ce
Update test output
2015-06-29 16:34:11 -07:00
Iavor S. Diatchki
8429d294e6
Add a test for multi-if
2015-06-22 09:25:45 -07:00
Trevor Elliott
5ff6005bed
Allow operators to use '\'
...
Fix #246
2015-06-21 01:53:52 +01:00
Trevor Elliott
47b3d59831
Add a test for doc strings
2015-06-10 21:45:31 -07:00
Trevor Elliott
c51a2815bb
Add a test for qualified infix operators
2015-06-10 20:59:29 -07:00
Trevor Elliott
9b7e46724c
Give 100 fixity levels, and fix prelude fixity again
...
Also fix issue198, which had been accidentally updated while failing
2015-06-10 11:55:54 -07:00
Trevor Elliott
fb98af636a
Slight test output change
2015-06-09 17:02:07 -07:00
Trevor Elliott
88e44a5937
Location information changed in test 101
2015-06-09 14:45:51 -07:00
