Travis Staton
1b7865a3fa
error message improvements
2023-09-21 13:49:30 -04:00
Travis Staton
eb45478c8d
add kind-inference transcript
2023-09-20 15:43:17 -04:00
Travis Staton
591d210bdd
make keyword-identifiers pass with kind inference
...
Lower-cased abilities generate broken constructors. For example:
```
unique ability foo where bar : ()
```
generates the following type for bar:
```
forall foo. {foo} ()
```
where
```
{foo} ()
```
is expected.
This breaks kind inference which expects ability constructors to
return the declared effect.
Once this lower-cased abilities are fixed then this commit can be
reverted.
2023-09-20 15:37:10 -04:00
Travis Staton
03062e5e48
fix higher-rank test
...
Add t to constructor to avoid kind defaulting
2023-09-20 15:37:10 -04:00
Travis Staton
f545ef2213
fix2353 kind inference update
...
Add g to constructor to avoid kind defaulting
2023-09-20 15:37:10 -04:00
Paul Chiusano
87f4756be4
fix name resolution bug with records and add more regression tests
2023-09-14 09:47:23 -05:00
Paul Chiusano
c4920426ed
fixes type signature resolution issue
2023-09-14 08:51:53 -05:00
Paul Chiusano
0a6bf9370a
Merge pull request #4324 from unisonweb/fix/3773
...
Allow multiple ignored bindings in a block
2023-09-13 17:20:09 -05:00
Paul Chiusano
72c4acc4c3
fixes #3773
2023-09-13 16:40:45 -05:00
Paul Chiusano
3d629beaaf
fixup benchmarks
2023-09-13 16:06:53 -05:00
Dan Doel
9fb3496bd7
Fix JIT/interpreter builtin serial test names
2023-09-11 17:24:19 -04:00
Dan Doel
2f47a857fc
Tweak serial case generator code
...
Allow output files to not have a version in their name
2023-09-11 16:53:47 -04:00
Dan Doel
9d52145f52
Change transcripts for new serialized file names
2023-09-11 16:36:19 -04:00
Dan Doel
a9065ec0c3
More informative names for serialized test cases
2023-09-11 16:20:10 -04:00
Dan Doel
16c5b7bf70
Merge remote-tracking branch 'origin/trunk' into topic/interchange-format
2023-09-11 12:48:24 -04:00
Dan Doel
699b9d68e3
Add serialization for boxed arrays
2023-09-08 20:01:55 -04:00
Dan Doel
d6c0ae2eca
Add to random-deserial tests
...
Adds versions of the tests saved in an old format, checking that they
still work, and match the new version of the same test.
2023-09-08 12:54:22 -04:00
mergify[bot]
75e1284674
Merge pull request #4308 from sixfourtwelve/existing-branch-tip
...
Add tip for existing branches
2023-09-08 15:38:44 +00:00
Dan Doel
f9e8c78c8f
Remove base tests from interpreter builtin tests
2023-09-08 10:58:08 -04:00
sixfourtwelve
dcd55a0779
fix silly copypaste
2023-09-08 15:21:05 +01:00
ethan
f387a58ffb
Update unison-src/transcripts/release-draft-command.md
...
Co-authored-by: Arya Irani <538571+aryairani@users.noreply.github.com>
2023-09-08 15:18:38 +01:00
sixfourtwelve
8357423768
fix transcript
2023-09-08 15:05:50 +01:00
Dan Doel
0ec34c4435
Try running base tests from CI
2023-09-07 18:32:04 -04:00
Paul Chiusano
d494cf71cb
fix regression reported by @runarorama
2023-09-07 17:13:51 -05:00
Dan Doel
f9a8b6c956
Expected transcript changes: hashes
2023-09-07 16:09:09 -04:00
Dan Doel
f450e97e68
Add a test for int/nat hash equivalence
2023-09-05 18:26:19 -04:00
Jared Forsyth
09a30e49f8
[iops] nice
2023-08-30 07:02:25 -05:00
Jared Forsyth
994b3e512b
[iops] tests passing interpreter
2023-08-30 07:00:45 -05:00
Jared Forsyth
e64aa0ec5e
[iops] ok new tests passing
2023-08-30 06:58:47 -05:00
Jared Forsyth
6aa0c7e29a
[iops] not working lol
2023-08-29 09:14:06 -05:00
Jared Forsyth
8014451080
[iops] ok pulling is working
2023-08-29 09:14:06 -05:00
Jared Forsyth
0798b17b25
[iops] updated base I guess
2023-08-29 09:14:06 -05:00
Dan Doel
9126105c94
Enable hash checking in serial tests
2023-08-28 09:47:54 -04:00
Dan Doel
ce3e06c217
Bump builtin-tests to base 2.5
...
Required some changes in test code
2023-08-28 09:14:35 -04:00
Dan Doel
a42e9f1980
Do link validation on serialized test cases
...
More link validation tests to come once code lookup is implemented.
2023-08-25 14:01:23 -04:00
Chris Penner
ff06f45820
Update transcripts
2023-08-24 14:06:01 -07:00
Jared Forsyth
0d6796c20b
[tmpdir] add ready
2023-08-22 07:33:43 -05:00
Jared Forsyth
0374045fc2
[tmpdir] isFileOpen
2023-08-22 07:10:38 -05:00
Jared Forsyth
dab835fb4d
[tmpdir] add renameFile
2023-08-22 06:09:46 -05:00
Jared Forsyth
b2f49947bd
[tmpdir] bounce
2023-08-21 21:52:49 -05:00
Jared Forsyth
85ad28f661
[tmpdir] impl createTempDirectory
2023-08-21 21:25:46 -05:00
Paul Chiusano
25e67ed5e7
fix #4272
2023-08-21 10:00:37 -05:00
Paul Chiusano
eebb43db3e
refresh transcript
2023-08-17 17:56:29 -05:00
Paul Chiusano
95dd8747ff
Merge remote-tracking branch 'origin/trunk' into fix/sig-cleanup
...
# Conflicts:
# unison-src/transcripts-round-trip/main.output.md
# unison-src/transcripts-round-trip/reparses.u
2023-08-17 16:59:32 -05:00
Paul Chiusano
46e28766d6
working
2023-08-17 16:55:28 -05:00
Chris Penner
e5c7ff7e9e
Merge pull request #4260 from kylegoetz/4239/cases-infix
...
fixes #4239 , pretty printing for single arg infix op terms no longer displays "error"
2023-08-17 09:59:24 -07:00
Paul Chiusano
13f3aad25f
Everything reparses with an identical hash now
2023-08-16 22:17:27 -05:00
Paul Chiusano
c42fd86edc
wip
2023-08-16 16:21:58 -05:00
Arya Irani
6c9b4eb008
Merge pull request #4250 from unisonweb/cp/project-branch-list
2023-08-15 12:15:49 -04:00
Arya Irani
c1abbe102b
Merge pull request #4246 from unisonweb/cp/project-ui-command
2023-08-15 11:53:11 -04:00