Arya Irani
2929d3feed
unexpected parse error when empty above the fold
2019-03-08 11:57:59 -05:00
Arya Irani
3b3008907f
Merge pull request #362 from unisonweb/topic/computedrefs
...
Compute the hashes of `unit`, `pair`, and `optional` at runtime, from their definitions
2019-03-08 11:15:45 -05:00
Paul Chiusano
f5104c2282
okay, figured it out - unitRef now matches the hash you get if you declare same type in a file
...
issue is that the data type hashing algorithm gives different results when one of the constructors has the same name as a data type. This could probably be fixed, but for now I just made `()` constructor be named in the same way as other types - `().()`, where the type name qualifies the constructor name, preventing overlap between type names and constructor names
2019-03-08 01:17:12 -05:00
Paul Chiusano
796900cd70
Moved unitRef, pairRef, optionalRef to DataDeclaration, rather than hardcoding their hashes
...
Tests all pass, however the unit type still seems to end up with a different hash than stucturally identical types added laterr
ex - type Foo = Foo somehow gets a different hash than the builtin one, even though they ought to be the same
2019-03-08 00:46:27 -05:00
Paul Chiusano
58cde06d8c
unpending a test
2019-03-07 15:15:40 -05:00
Paul Chiusano
63791638a7
Merge branch 'wip/rt1' of github.com:unisonweb/unison into wip/rt1
2019-03-07 15:10:45 -05:00
Paul Chiusano
2532e97ada
Turn methodical.u into a directory of tests, with corresponding .ur files
2019-03-07 15:10:36 -05:00
Arya Irani
75f72d8a37
Merge pull request #359 from unisonweb/remove-jvm-runtime
...
Remove JVM runtime
2019-03-07 14:51:04 -05:00
Arya Irani
c7bee3f156
Address #308 by providing some output after typechecking a blank file.
2019-03-07 14:43:12 -05:00
Paul Chiusano
c6b5259bf9
all tests passing now
2019-03-07 14:29:50 -05:00
Paul Chiusano
31e9195537
Merge commit 'aa6f3ec7' into fix/rt1
...
# Conflicts:
# parser-typechecker/src/Unison/Runtime/IR.hs
2019-03-07 14:19:31 -05:00
Paul Chiusano
d4a2edc7b7
filled in last todo in IR.hs
2019-03-07 13:05:53 -05:00
Arya Irani
aa6f3ec7f1
Add test for #351 .
2019-03-07 13:01:34 -05:00
Paul Chiusano
c4be1d5dbc
filled in impl of IR.freeSlots
2019-03-07 12:57:27 -05:00
Arya Irani
26666d4b53
make builtin IR values not be arity 0 closure-forming lambdas
2019-03-07 12:56:56 -05:00
Paul Chiusano
a6c5e503da
filled in all the todos in Rt1.hs
2019-03-07 12:34:01 -05:00
Arya Irani
e736470258
complete previous fix
2019-03-07 12:15:44 -05:00
Arya Irani
0bbed2885c
fix pattern match bug where earlier cases influenced laster cases' stack size
2019-03-07 11:42:20 -05:00
Arya Irani
53310f78f4
Show local type names in watch expressions.
2019-03-07 10:32:30 -05:00
Arya Irani
c9faddded0
Merge branch 'more-tests' into wip/rt1
2019-03-07 10:05:59 -05:00
Paul Chiusano
b97b14d666
compiles w/ warnings
2019-03-07 07:07:19 -05:00
Paul Chiusano
3b071e2d94
noncompiling but mostly out of the woods on new and improved representation of Cont
2019-03-06 17:29:52 -05:00
Arya Irani
3126620b95
add @francisdb-inspired pattern-matching issue test
2019-03-06 17:23:13 -05:00
Arya Irani
6b9a9d505b
delete references to jvm runtime
2019-03-06 16:31:31 -05:00
Paul Chiusano
452d81a211
Merge branch 'fix/rt1' of github.com:unisonweb/unison into fix/rt1
2019-03-06 15:40:10 -05:00
Paul Chiusano
b51cb95dde
simplify failing test
2019-03-06 15:40:01 -05:00
Arya Irani
8ba0370b36
Merge pull request #354 from unisonweb/wip/refactor-cli
...
Refactor CLI and search
2019-03-06 13:25:24 -05:00
Arya Irani
312a91c6bf
Better message for #357
2019-03-05 18:26:18 -05:00
Paul Chiusano
b975f5d93d
Minimal failing test - shows that continuations aren't capturing local variables
2019-03-05 17:28:17 -05:00
Paul Chiusano
4316df6e89
some progress
2019-03-05 17:10:12 -05:00
Paul Chiusano
b604ef80e8
added some pattern matching tests
2019-03-05 16:34:05 -05:00
Paul Chiusano
a8c7a6ddc0
added separate test for overapply bug
2019-03-05 15:36:31 -05:00
Paul Chiusano
7d2c92f362
updating test file, found more bugs
2019-03-05 15:10:18 -05:00
Paul Chiusano
e5bf2f0e13
start on more methodical test file for runtime, going through all the cases
2019-03-05 14:54:19 -05:00
Paul Chiusano
4ef4f1c064
fix compile error
2019-03-05 13:22:40 -05:00
Paul Chiusano
5257738794
Merge branch 'wip/refactor-cli' of github.com:unisonweb/unison into wip/refactor-cli
2019-03-05 13:18:41 -05:00
Paul Chiusano
c04fa926e2
added more diagnostics
2019-03-05 13:18:31 -05:00
Arya Irani
ee7302da57
hashes can autocomplete to definitions in the current branch.
...
I have some hashes in my codebase though that don't work; not sure what they are, either.
2019-03-05 12:29:36 -05:00
Paul Chiusano
420a7bc8db
diagnostics, removing some noisy output
2019-03-05 09:54:29 -05:00
Paul Chiusano
c99b566ca3
fix pretty printer to add a space in EffectBind
2019-03-05 09:54:04 -05:00
Arya Irani
0bfacc4b5a
Merge remote-tracking branch 'origin/wip/refactor-cli' into wip/refactor-cli
2019-03-05 00:33:30 -05:00
Arya Irani
6578b9d8f9
cleanup
2019-03-05 00:32:26 -05:00
Paul Chiusano
7018e823ca
fix incorrect pattern match bomb and add test case for it, down to just one failing test
2019-03-04 22:31:22 -05:00
Paul Chiusano
443475dcc1
cycle minimization done once up front to whole tree
...
previously it was just being done to outermost term
2019-03-04 22:19:44 -05:00
Arya Irani
8a2faa371b
list with no arguments displays all definitions in the branch
2019-03-04 20:46:58 -05:00
Arya Irani
3aee173728
added Actions.modifyCurrentBranch0 :: (Branch0 -> Branch0) -> Action i v ()
2019-03-04 18:12:59 -05:00
Paul Chiusano
009794b740
using modifyCurrentBranch for all the things to ensure update branch is flushed to file system
2019-03-04 17:56:25 -05:00
Paul Chiusano
dafe9419ea
we think we fixed issues with branches not being saved to disk
...
The new approach is that CommandLine.main reads the loop state at each step and makes sure that the info is propagated as needed (to the autocomplete provider and also the file system listener that awaits new branch files arriving externally).
2019-03-04 16:56:35 -05:00
Paul Chiusano
446d8815ea
MergeBranch command is now SyncBranch, added some docs
2019-03-04 15:30:44 -05:00
Arya Irani
d4d7bf4493
add some doc links to Find.hs
2019-03-04 13:59:23 -05:00
