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
Arya Irani
426c29422e
Hook up fuzzy regex search to SearchBranch command, for better or worse.
2019-03-03 12:28:22 -05:00
Arya Irani
0606b8cfd1
implement a hash-qualified-aware fuzzy-find
...
add plain rendering option due to haskeline alignment
2019-03-03 12:07:15 -05:00
Arya Irani
6175dc0007
implement a nicer fuzzy fund using regexes
2019-03-02 23:50:50 -05:00
Arya Irani
42ab32cb17
Merge remote-tracking branch 'origin/wip/rt1' into wip/overhaul-search
...
# Conflicts:
# parser-typechecker/src/Unison/Codebase/CommandLine.hs
# parser-typechecker/unison/Main.hs
2019-03-02 11:42:12 -05:00
Arya Irani
f4d0266953
update docs and remove definition aliases comment from wrong part of output
2019-03-02 10:56:26 -05:00
Arya Irani
25481aa691
Simplified search heuristic, added some minimal docs
2019-03-01 19:54:30 -05:00
Arya Irani
7c5e2eeb31
compiles, but autocomplete still incomplete!
...
still need a parser for Referents and Reference hash literals
Lost the ability to align terms' type signatures, due to interleaving them with types instead of treating them as a block. Maybe there's a non-horrible way to reconstruct it.
2019-03-01 15:11:08 -05:00
Paul Chiusano
55ed27c43d
filled in todo for handling underapply
2019-03-01 00:25:44 -05:00
Paul Chiusano
22b9bea570
decompile for Pure and Requested values - we are now decompiling all values
...
recursive lambdas still have a janky decompiled form - would like to get closer to the original source
2019-02-28 22:35:11 -05:00
Paul Chiusano
14b4d1911d
move pattern matching into a separate helper function
2019-02-28 21:05:16 -05:00
Paul Chiusano
a93281c6ef
fix compile error after merge with unisonIO branch
2019-02-28 21:04:34 -05:00
Runar Bjarnason
b0c108a45e
IO hash
2019-02-28 17:32:59 -05:00
Runar Bjarnason
9d0f4f7339
Hooked IO up to runtime
2019-02-28 17:19:21 -05:00