GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-23 03:48:46 +03:00
Code Issues Projects Releases Wiki Activity
3,083 Commits 65 Branches 28 Tags 83 MiB
3ea59c7a69
Commit Graph

491 Commits

Author SHA1 Message Date
Brian Huffman
13515f3f7e Add regression test for issue #485. 2020-09-23 10:32:20 -07:00
Brian Huffman
53a5a3044b Remove multi-line block comment from regression test. 
Apparently multi-line REPL input is not supported on all platforms
(Windows in particular).
 2020-09-23 09:10:34 -07:00
Brian Huffman
aa256f6551 Add test for #838. 2020-09-23 09:10:34 -07:00
Brian Huffman
7f5514257c Add regression test for #894. 2020-09-23 07:26:39 -07:00
Rob Dockins
25818493ff Add a quick-test mode to the cry shell script. 
This excludes the new SuiteB tests, and moves the `allexamples`
test into a separate directory that is also excluded.  The
standard `test` command still runs all tests.
 2020-09-21 14:54:29 -07:00
Rob Dockins
dcfae1a18e Move the AES test vectors into a new suiteb test directory, 
and add a battery of SHA test vectors as well.
 2020-09-21 14:54:29 -07:00
Rob Dockins
00f4a0206a Add a battery of test vectors to test the primitive AES implementations. 
These are taken from the AESAVS document and associated sample test vectors,
which may be found here:
https://csrc.nist.gov/Projects/cryptographic-algorithm-validation-program/Block-Ciphers
 2020-09-21 14:54:28 -07:00
Rob Dockins
e79786edb0 Remove seq and change foldl' to always perform normal-form evaluation. 
The extra flexability aforded by WHNF evaluation is mostly just confusing,
I think.
 2020-09-14 12:41:38 -07:00
Rob Dockins
de3bcd7287 Update rational properties regression test to use What4 backend. 
This works around SBV8.7/CVC1.7 compatiblity issues, and has a side
effect of completing the QOrdCompatible proof, which was previously
returning UNKNOWN.
 2020-09-14 11:03:58 -07:00
Rob Dockins
6feeafa74f Add seq and deepseq primitives, and rewrite some prelude 
functions to use stricter variants.  Add an `Eq` constraint
to `parmap` to mirror the restriction on `deepseq`.
 2020-09-14 10:42:59 -07:00
Rob Dockins
2029605a3c Implement primitive foldl and foldl' operations. 
Reimplement `foldr` and add `foldr'` in terms of
the left folds.
 2020-09-14 10:42:59 -07:00
Iavor Diatchki
e75aaef5a0 Allow code blocks to start without a newline when using fences 2020-08-25 13:02:58 -07:00
Rob Dockins
82187952e7 Generalize the type of generate. 
This allows the indexing type to be arbitraty `Integral` types,
provided the type is large enough to index the sequence.

Fixes #848
 2020-08-22 15:28:13 -07:00
Rob Dockins
af94423b48 Remove the atXis0 test. I couldn't think of a way to make it 
determinsitic enough for a regression test.
 2020-08-11 11:06:59 -07:00
Rob Dockins
06aca879f0 Test case for issue 861 2020-08-11 09:28:13 -07:00
brianhuffman
f31ad90726
Merge pull request #855 from GaloisInc/issue851 
Issue851
 2020-07-30 11:29:16 -07:00
Brian Huffman
331725e135 Add regression test for #851. 2020-07-30 10:53:37 -07:00
Rob Dockins
84d26a0484 Add cases for VRational and VFloat to etaDelay. 
These were previously missed because the final wildcard case
kept GHC from issuing a warning.  This removes the wildcard case
and issues more explict panics regarding type mismatches in the
various cases.

Fixes #850
 2020-07-30 10:03:24 -07:00
Iavor Diatchki
027a35887f Add some more constraints to the FLiteral instances. 
Fixes #845
 2020-07-28 17:36:46 -07:00
Brian Huffman
fe465e108f Update expected output for regression test issue835.icry. 2020-07-28 16:03:20 -07:00
Brian Huffman
9c415a6a97 Add regression test for all implicit instance rules in cryptol. 
This includes a set of declarations in a file to test the rules
in the context of type checking. It also includes a set of type
queries to test the rules (or absence of rules) in the context
of type inference.
 2020-07-28 15:59:39 -07:00
Brian Huffman
e48e9f8302 Add regression test for issue #835. 2020-07-28 13:50:16 -07:00
Iavor Diatchki
df7d9ba906 Add a test case for #805. 
Fixes #805
 2020-07-20 17:27:16 -07:00
Iavor Diatchki
2daf5db2c1 Add a custom data structure that cobines renamer warnings 
Fixes #824
 2020-07-16 14:27:38 -07:00
Iavor Diatchki
1c34b8eb9b Add fpToRational fpFromRational and fpIsFinite. 
These are useful for switching between rationals and floats.
This also cleans up the implementation a bit, removing some duplicated
code.

NOTE: I am not sure if the translation from `float` to `rational`
is quite right in the what-4 backend, but I can't think of a better
way to do it at the moment.
 2020-07-15 17:50:15 -07:00
Iavor Diatchki
a25924df10 Add defaulting for FLiteral and update CHANGES 
Fixes #820
 2020-07-15 11:55:29 -07:00
robdockins
bf2258b5d8
Merge pull request #819 from GaloisInc/test-updates 
Test updates
 2020-07-14 12:45:46 -07:00
Rob Dockins
c2c1ad1231 Add regression tests for the ignore-safety option 2020-07-14 12:14:36 -07:00
Iavor Diatchki
42b2ac6b45 Add parsing for binary and octal fractional literals. 
I doubt these are super common but we add them for completeness,
and because with the floats we can print in those bases
 2020-07-14 11:31:59 -07:00
Rob Dockins
bc0545bd62 Add the Eq->Cmp superclass relationship to the regression test. 2020-07-14 11:31:50 -07:00
robdockins
173a04fc01
Merge pull request #817 from GaloisInc/issue802 
Suppress the `Must be at least` line of defaulting error
 2020-07-14 11:27:26 -07:00
Iavor Diatchki
6e412ed32e A hack to always print .0 for non base 10 numbers. 
This helps with copy-pasting values, as non base 10 literals
are not overloaded.
 2020-07-14 10:47:30 -07:00
Rob Dockins
bccc098a2b Suppress the Must be at least line of defaulting error 
messages when the calculated bound is 0.
 2020-07-14 10:32:57 -07:00
Iavor Diatchki
2605a276ac Allow writing floating point literals, as long as they can be represented 2020-07-13 16:22:13 -07:00
Iavor Diatchki
449fa5ef41 Change the printing of the special values. 
We use the same names as in `Float`, so that it is easy to copy an
and paste an answer.
 2020-07-13 15:27:11 -07:00
Rob Dockins
a4b137da4a Fix fragile tests 2020-07-09 10:54:03 -07:00
Iavor Diatchki
372d2bf3aa Make :m work the same way as :l 
More precisely, in both cases we unload all modules and then reload
everything (this is what `:l` used to do, while `:m` only reloaded
the current module).  This fixes #668.

There are opportunities to be smarter here: in particular when we
reload modules, we do need to parse them so that we can find out what
their dependencies are, and if needed to reload those.  However, if
none of the dependencies have changed, and we didn't change, then we
could reuse the current module.  This could be quite useful for modules
that take a long time to load.
 2020-07-07 15:34:03 -07:00
Rob Dockins
ac3676ddde Fixup test suite 2020-07-02 15:04:07 -07:00
Rob Dockins
84e1a06536 Tenatively apply defaulting to definitions when typechecking the 
rest of a module.  This helps prevent a single ambiguous size
variable from causing additional errors in other definition.
 2020-07-02 15:04:07 -07:00
Rob Dockins
e9c22ad0cf Still compute width defaulting information as before, but 
use that information to emit error messages rather than warnings.

This provides more specific messages than simply allowing the
affected type variables to remain uninstantiated and failing later.
It also causes some examples that otherwise would have ambiguous
types to fail earlier.  This converts some test instances where
REPL defaulting would eventually succeed into examples that fail
outright instead.  I largely think these instances are improvements.
 2020-07-02 15:04:07 -07:00
Rob Dockins
7cd5e7bcef Change the default so that defaulting warnings are suppressed. 
Now that we only default to unlimited-precision types, this warning
is considerably less useful.
 2020-07-02 14:56:27 -07:00
Rob Dockins
620e62c8e3 Remove all defaulting, except for literals. 
Fix up the test suite.  This mostly delays defaulting
warnings into "showing specific instance of polymorpic
type warnings", but requires actual fixes in a small number
of places.  Those places were higly questionable, in my opinion.
 2020-07-02 14:56:27 -07:00
Rob Dockins
709dc939ed Change the defaulting rules for Literal constraints. 
Instead of defaulting to `[n]` for some `n`, prefer instead
to default to `Integer` or `Rational` depending on the
other required constraints.
 2020-07-02 14:56:27 -07:00
Iavor Diatchki
f6213aff33 Improve error messages when we know a constraint will always fail. 
This changes the way the special "Error" type is used. The error
message now contains only an explanation of what happened,
and the actual malformed type is the parameter of the error function,
which is always used at kind `k -> k` where `k` is the malformed kind.

This fixes (or at least improves) #768
 2020-06-30 20:03:50 -07:00
Rob Dockins
249ad85d27 Add unit test to make sure we reject records with repeated fields 2020-06-30 12:34:50 -07:00
Rob Dockins
6c6cb94d46 Implement and use a new RecordMap type. 
This type stores records as a finite map from field names to
values, while also remembering the original order of the fields
from when the record was generated (usually, from the program source).
For all "semantic" purposes, the fields are treated as appearing in
a canoical order (in sorted order of the field names).  However, for
user display purposes, records are presented in the order in which
the fields were originally stated.

In the course of implementing this, I discovered that we were not
previously checking for repeated fields in the parser or typechecker,
which would result in some rather strange situations and could probably
be used to break the type safety. This is now fixed and repeated fields
will result in either a parse error or a panic (for records generated
internally).

Fixes #706
 2020-06-30 12:34:50 -07:00
robdockins
87d5edab00
Documentation updates (#779) 
* Add docstrings for all prelude functions and fix minor style issues.

Fixes #771

* Update `CryptolPrims` documentation

* Minor updates to the prelude

* Update CHANGES

* Updates to the cryptol book and CryptolPrims

* Fix several additional docstrings

* Specify and document properties of signed bitvector division.

Fixes #677

* Fixup test

* typos and style

* Regenerate PDFs
 2020-06-30 10:58:25 -07:00
Iavor Diatchki
0047eaf77a Initial support for floating point computation 2020-06-29 15:31:34 -07:00
Rob Dockins
d2490e724f Implement roundToEven and roundAway. 
The old `round` operation is renamed into `roundAway` to make its
semantics more obvious.
 2020-06-25 13:52:36 -07:00
Rob Dockins
6a05e86658 unit test for issue 712 2020-06-23 12:42:03 -07:00
Rob Dockins
dea6c9f633 Regression test for new :safe feature. 2020-06-19 12:11:29 -07:00
Rob Dockins
332a0a3fdc Add an assert combinator to the prelude. 
Fix up fragile test outputs.
 2020-06-19 12:11:29 -07:00
Rob Dockins
6bedcbb4b3 Add a new Eq typeclass for types that have equality tests. 
The `(==)` and `(!=)` operators move into the new `Eq` typeclass,
which becomes a superclass of `Cmp` and `SignedCmp`.
 2020-06-19 12:00:12 -07:00
Rob Dockins
4248560e39 Minor fix to test case 2020-06-19 11:55:58 -07:00
Rob Dockins
ff199bf43e Add regression tests for superclass inference and solving 2020-06-19 11:55:58 -07:00
Rob Dockins
22e2e483d4 The new superclass inference sometimes casues minor changes in 
error output in the test suite.
 2020-06-19 11:55:58 -07:00
David Thrane Christiansen
02dfc4a898 Enforce that includes are UTF8 
Previously, "include" used locale-dependent decoding of source files,
while the rest of Cryptol uses UTF8. This change makes "include"
consistent with the rest of Cryptol, and adds a test that checks for
malformed UTF8.
 2020-06-09 09:02:22 -07:00
Rob Dockins
721e733ce9 yet more shifting fixes 2020-06-03 18:45:42 -07:00
Rob Dockins
acbf925afa Add a test case for shifting and rotating by negative integer values. 2020-06-03 17:55:50 -07:00
Rob Dockins
88c98c4c03 Merge remote-tracking branch 'origin/master' into split-arith 
Minor merge conflicts resolved.
 2020-06-03 13:35:04 -07:00
Andrei Stefanescu
2ff4d4c031
Fix Array.cry comment. (#748) 2020-06-02 20:26:49 -07:00
Rob Dockins
d816d8820a Tweak the test suite. Apparently echo works differently on Windows 2020-05-27 13:50:00 -07:00
Rob Dockins
066cbd492e Post-merge test suite fixups 2020-05-26 17:45:42 -07:00
Rob Dockins
bbba626052 Merge remote-tracking branch 'origin/master' into split-arith 2020-05-26 17:37:00 -07:00
Rob Dockins
c1b641c420 Add a test case for issue725 2020-05-26 17:08:20 -07:00
Rob Dockins
aaf78e23ec Add a bit more output for the Satisfiable/Counterexample cases 2020-05-26 17:08:20 -07:00
Rob Dockins
e817f5c777 Update test suite 2020-05-26 15:33:46 -07:00
Rob Dockins
85e49a92db Rearrange the Cryptol prelude according to the new typeclass system 2020-05-22 15:39:38 -07:00
Brian Huffman
37f1fd8b4b Add regression test for #731. 2020-05-18 17:17:58 -07:00
Rob Dockins
f6e0342afa Partially update the test suite 2020-05-15 09:33:32 -07:00
Brian Huffman
700b31803c Add regression test for #723. 2020-05-15 07:36:11 -07:00
Rob Dockins
6b961929a6 Add properties for rationals that specify correctness for the 
various properties of the Q and it's operations.
 2020-05-14 17:50:56 -07:00
Brian Huffman
9424752b45 Specialize types of signed div/mod operators (/$) and (%$) to bitvectors. 2020-05-13 17:19:18 -07:00
Iavor Diatchki
c3eca4f22a Check that the declared type of prims matches the expected one. 
Fixes #711
 2020-05-05 14:30:25 -07:00
robdockins
f29f0158ff
Merge pull request #703 from GaloisInc/issue702 
issue702
 2020-04-23 12:22:25 -07:00
Brian Huffman
4dd77c756b Update type variable numbering in test suite output. 2020-04-20 11:29:49 -07:00
Rob Dockins
ce85155dbe Add unit test for issue702 2020-04-17 17:48:44 -07:00
robdockins
87ad864185
Merge pull request #684 from GaloisInc/eval-refactor 
Evaluator refactor
 2020-04-02 09:42:04 -07:00
Rob Dockins
d08046d063 Test case for issue #662 2020-04-02 09:40:44 -07:00
Rob Dockins
943e11478a Add regression test for word updates 2020-03-30 15:09:53 -07:00
Iavor Diatchki
fcc7a19998 More information when browsing. 
This implements the feature request in #689
 2020-03-24 16:53:48 -07:00
Rob Dockins
f016a9a9fc Define carry and scarry instead of making them primitive. 2020-03-17 13:25:39 -07:00
Iavor Diatchki
3038eacf54 Add a test for record updating. 
This completes the implementation of record updates.
Fixes #399
 2020-01-21 11:35:19 -08:00
Kevin Quick
578d268b8e
Update cryptol-test-runner maintainer and license 2019-12-23 18:18:54 -08:00
Brian Huffman
aec6cb0a7e Add regression test for #670. 2019-12-16 18:02:56 -08:00
Brian Huffman
3281e7c121 Revert "Add regression test for #444." 
This reverts commit 85bff672ef.

The error message in the expected output file `issue444.icry.stdout`
contained a system-specific absolute file path.

Fixes #673.
 2019-12-16 14:12:44 -08:00
Brian Huffman
4b29967315 Add regression test for issue #614. 2019-12-13 11:13:03 -08:00
Brian Huffman
4da0f19a21 Add regression test for #667. 2019-12-06 15:51:57 -08:00
Brian Huffman
c230e2395c Use Data.Map to normalize record field order in Value type. 
Fixes #667.
 2019-12-06 15:48:50 -08:00
Brian Huffman
67fc36764c Add regression test for #664. 2019-11-26 22:23:53 -08:00
Brian Huffman
85bff672ef Add regression test for #444. 2019-11-21 06:04:27 -08:00
Aaron Tomb
ddbd664326
Merge pull request #655 from GaloisInc/at-ghc-881 
Fix build with GHC 8.8

Also updates CI to use GHC 8.4, 8.6, and 8.8 on both Travis and AppVeyor, and makes some small tweaks to make the tests pass in all six configurations.
 2019-11-01 13:56:05 -07:00
Aaron Tomb
82d4a1b81a Fix test output for issues/allexamples 2019-11-01 12:28:13 -07:00
Aaron Tomb
47b2eccad7 Remove leading ./ from file names in test output 2019-10-28 13:57:37 -07:00
Aaron Tomb
3ea5e9e51c Make issue072 test more robust to solver versions 2019-10-25 11:39:31 -07:00
Iavor Diatchki
8fe9f5efa9 Add support for working with in-memory sources. 
Currently we only use this for the Prelude, which is baked into Cryptol.
Previously we used to save it in a temporary file, which would show
up in error messages, leading to bad user experience and unreliable
test outputs.

Also improves the shadowing errors.

Fixes #569
 2019-07-05 14:09:04 -07:00
Iavor Diatchki
ca4968ff3d Fix test. The error message changed, but is still valid. 
We should really have only one way to say this,
I made a ticket: #633
 2019-07-05 09:37:45 -07:00
Iavor Diatchki
4b5d569e09 Fix tests---some variables got renumbered. 
We really should fix this up so we don't print the numbers unless
there really is an ambiguity.
 2019-07-05 09:34:20 -07:00
Iavor Diatchki
72068cb961 Move type-level primitives to the Prelude. 
For the time being, there is still some information about them that
is duplicated in Cryptol.TypeCheck.TCon, but we at least the parsed syntax
does not depend on the typechecked syntax.
 2019-07-02 17:34:36 -07:00
Iavor Diatchki
1cfadef5ea Add a forgotten test 2019-07-01 10:26:39 -07:00
Brian Huffman
1e11ff6b8b Add type constraint synonyms (<) and (>). 
Fixes #400.
 2019-06-26 20:44:13 -07:00
Brian Huffman
14d25e8f9a Fix pretty printing for infix type/constraint synonyms. 2019-06-26 18:19:12 -07:00
Brian Huffman
10da255fd1 Re-implement infix type constraint (<=) as a constraint synonym. 
Also removed special-case hack for (<=) in the renamer.

Also adapted test case output to account for the new prelude declaration.
 2019-06-26 18:04:16 -07:00
Brian Huffman
0a1cea2912 Update test suite output to accommodate new prelude function. 2019-06-18 15:39:56 -07:00
Iavor Diatchki
ec7c9a0f6e Don't generalize a rec. group, if any members are marked as monomorphic. 
Fixes #607
 2019-06-14 16:14:14 -07:00
Iavor Diatchki
08c537122a Update nQueens example to not print the found solution. 2019-03-25 16:20:17 -07:00
Brian Huffman
7cb16586d4 Add regression test for #581. 2019-03-18 15:29:36 -07:00
Brian Huffman
5076273c10 Add regression test for issue #582. 2019-03-18 14:53:09 -07:00
Brian Huffman
9584fdb54d Remove some duplicate files from /examples that were also in cryptol-specs. 
See #571.
 2019-03-01 18:34:23 -08:00
Iavor S. Diatchki
139c7d50ac
Merge pull request #576 from GaloisInc/fingerprints 
Track file content fingerprints alongside loaded modules
 2019-02-28 11:02:27 -08:00
Eric Mertens
5e75f834e7 Update test for new utf-8 error message 2019-02-28 10:04:17 -08:00
Brian Huffman
24fb6c9511 Remove unused primitive fromThen. 2019-02-27 16:57:00 -08:00
Brian Huffman
c387dbe5fd Remove all uses of [x..] syntax from examples and tests. 2019-02-27 16:25:53 -08:00
Iavor Diatchki
d38eab4b2c Fix test. 2019-01-25 10:20:40 -08:00
Iavor Diatchki
4312787724 Fixes #565 2019-01-24 17:00:16 -08:00
Iavor Diatchki
60c1baebfd Indent goals to be shown a bit further, to line up with assumptions. 2019-01-08 16:42:34 -08:00
Iavor Diatchki
d8b1a7a601 Improve some of the error messages. 2019-01-03 11:28:59 -08:00
Iavor Diatchki
d377f38c9d Use the factored-out test-runner. 2018-12-11 16:30:02 -08:00
Brian Huffman
9b7597c4fd Update changed test output. 2018-12-11 15:52:19 -08:00
Brian Huffman
20b9b1c193 Rename prelude function width to length, and generalize its type. 
Fixes #550.
 2018-10-10 16:21:38 -07:00
Aaron Tomb
0d0eb2cbc3 Fix path names of .md files during tests 2018-09-04 16:31:36 -07:00
Iavor Diatchki
b7b1baa25b Fix test, to account for changes to eval context checking 2018-08-15 20:26:25 +03:00
Brian Huffman
9e7ae9f9ce Reintroduce demote as a copy of number for backward compatibility. 2018-07-27 14:01:18 -07:00
Brian Huffman
f609b36225 Rename primitive demote to the more self-explanatory name number. 
The name "demote" is only meaningful to those who already know what
the Cryptol primitive does. Also, due to recent changes in the error
and warning messages, the name "demote" is showing up much more often
in REPL output. For example:

    Defaulting type argument 'rep' of 'demote' to [2]

    Showing a specific instance of polymorphic result:
      * Using 'Integer' for type argument 'rep' of 'Cryptol::demote'

These messages will hopefully be made less confusing to non-experts
if the name "demote" is replaced with "number".
 2018-07-27 13:52:57 -07:00
Iavor Diatchki
027037d6ee Fix test 2018-07-26 22:06:31 +03:00
Brian Huffman
72bc388663 Add regression test for #533. 2018-07-20 12:04:03 -07:00
Brian Huffman
5def499908 Capitalize sentences in output of :check and :exhaust. 2018-07-20 10:55:24 -07:00
Brian Huffman
409e544772 Restrict polynomial literals to bitvector types. Fixes #530. 2018-07-20 10:06:16 -07:00
Aaron Tomb
0b46db36ce Fix capitalization of MiniLock in test 2018-07-20 10:04:11 -07:00
Brian Huffman
5451683f4a Add regression test for #494. 2018-07-19 15:08:24 -07:00
Brian Huffman
d58aebcee8 Fix shadowing warnings in example cryptol code. 
Shadowing a name from the Cryptol prelude produces an unpredictable
warning message with a temporary file name, which is not good for our
regression test suite.
 2018-07-19 14:48:12 -07:00
Brian Huffman
d803192b2b Add regression test that loads all modules from examples directory. 
This file should be updated every time a new module is added to
`examples`.

Fixes #529.
 2018-07-19 09:57:18 -07:00
Brian Huffman
1e5209ade5 Add regression test for #413. 2018-07-11 13:00:53 -07:00
Brian Huffman
56824291b2 Add inequality constraints to types of fromThen and fromThenTo. 
This ensures that all applications of partial type functions are
well-defined.

Fixes #416.
 2018-07-11 12:58:49 -07:00
Brian Huffman
be8c334efe Reference interpreter uses base and infLength printing options. 
Fixes #412.
 2018-07-10 09:58:37 -07:00
Iavor Diatchki
4c6a69c0cf Improvements to naming of variables. 
This does a bunch of small changes, that should improve the usability
of Cryptol.  Namely:
  * When we are forced to make up a name, pick something derived from
    the source of the variable, annotated with the unique.
  * When pretty printing a schema, use "n,m,i,j,k" for numeric variables
    and "a,b,c,d,e" for value type vairable.
  * When generalizing, put numeric vairables first.
 2018-06-28 15:58:11 -07:00
Brian Huffman
836771aded Tweak names and order of type variables on Cryptol prelude functions. 
Also update test output for new type variable names.

See #517.
 2018-06-28 14:14:44 -07:00
Iavor Diatchki
75b56e251e Complain when we spot invalid literals. Fixes #519 2018-06-28 14:13:07 -07:00
Brian Huffman
a4a3207f9f Swap type argument order for zext and sext. 
The new argument order works better for partial type application,
so e.g. zext`{32} extends its argument to 32 bits.
 2018-06-28 10:40:37 -07:00
Iavor Diatchki
0bf36808ed Improve various defaulting/instantiatiation warnings and error messages. 2018-06-25 16:48:10 -07:00
Brian Huffman
9fcb481161 Generalize [x,y...] (infFromThen primitive) to class Arith. 2018-06-21 18:24:12 -07:00
Brian Huffman
4697683ac4 Generalize [x...] (i.e. infFrom primitive) to class Arith. 2018-06-21 17:57:13 -07:00
Brian Huffman
86898c1076 Remove now-redundant primitive toZ; use fromInteger instead. 2018-06-21 17:05:33 -07:00
Brian Huffman
dbd05b5acc Generalize prelude function fromInteger to class Arith. 2018-06-21 16:59:01 -07:00
Brian Huffman
1f0f41cf2b Add regression test for #323. 2018-06-21 09:33:44 -07:00
Iavor Diatchki
d46c5e26de Use the full path when suggesting the fix for the test. Fixes #509 2018-06-20 16:55:49 -07:00
Iavor Diatchki
cd2f6e045f Fix more tests. 2018-06-20 16:34:59 -07:00
Iavor Diatchki
29cef7008a Merge remote-tracking branch 'origin/master' into literal-class 2018-06-20 15:10:21 -07:00
Brian Huffman
171cfa00d1 Fix output for tests/issues/T146.icry to reflect changes in unification. 2018-06-20 15:09:01 -07:00
Iavor Diatchki
b179a6aad7 Merge remote-tracking branch 'origin/master' into literal-class 2018-06-20 15:06:43 -07:00