unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-12 04:34:38 +03:00
Code Issues Projects Releases Wiki Activity
3,633 Commits 432 Branches 97 Tags 483 MiB
d4a2edc7b7
Commit Graph

1391 Commits

Author SHA1 Message Date
Paul Chiusano
d4a2edc7b7 filled in last todo in IR.hs 2019-03-07 13:05:53 -05:00
Paul Chiusano
c4be1d5dbc filled in impl of IR.freeSlots 2019-03-07 12:57:27 -05:00
Paul Chiusano
a6c5e503da filled in all the todos in Rt1.hs 2019-03-07 12:34:01 -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
312a91c6bf Better message for #357 2019-03-05 18:26:18 -05:00
Paul Chiusano
4316df6e89 some progress 2019-03-05 17:10:12 -05:00
Paul Chiusano
a8c7a6ddc0 added separate test for overapply bug 2019-03-05 15:36:31 -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
Runar Bjarnason
caecff92bc Merge branch 'wip/rt1' of github.com:unisonweb/unison into unisonIO 2019-02-28 14:50:00 -05:00
Paul Chiusano
12725ce118 add force in Apply interpretation 2019-02-28 10:00:10 -05:00
Runar Bjarnason
229bf2c550 IO implementation roughly nailed down 2019-02-27 19:47:18 -05:00
Paul Chiusano
df47756321 filled in todo of overapplied call which yields a Request 2019-02-27 18:23:20 -05:00
Arya Irani
2137404633 finished decompiling all the things 2019-02-27 15:39:19 -05:00
Arya Irani
27b6cf7bcc Rt1 branch uses Rt1 by default 2019-02-27 14:04:42 -05:00
Arya Irani
721341c20d implemented more stuff for Rt1: 
implemented whiteboard pattern for decompiling IR.Ref
implemented decompile for LetRec & Match & LazySlot
bugfixed Rt1.getCapturedVars for literals, etc
added Text patterns and tested this program:

foo x = case x of
  "xyz" -> false
  "abc" -> true
  _ -> false

> foo "abc"
> foo "xyz"
> foo "hello, world"
 2019-02-27 13:56:39 -05:00
Arya Irani
46aa728d25 sort out SearchByNameI 2019-02-25 22:40:58 -05:00
Arya Irani
f6e0cf3d60 turned the crank on boundVarsIR and decompileIR. Everything requires IO due to Value's IORef. 2019-02-25 18:40:39 -05:00
Arya Irani
11ca19bcca declare Effect.bind and Effect.pure builtins 2019-02-25 16:57:14 -05:00
Arya Irani
20f8cb2edd add stubs for decompiling IR.Cont. 
also, added External typeclass to decompile an external to a Term
 2019-02-25 16:44:13 -05:00
Paul Chiusano
1217fe37f4 fixed up and doc'd underapply case 2019-02-25 15:57:36 -05:00
Arya Irani
0c24b42eff Is "search for terms by name" supposed to return constructors? What does it do now? I think yes. 2019-02-25 13:16:55 -05:00