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
fe354067ee
Merge branch 'master' of github.com:unisonweb/unison into unisonIO
2019-02-27 19:48:12 -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
Paul Chiusano
6f56f1ef57
Update README.md
2019-02-27 16:26:21 -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
d386787558
added unison-src/tests/text-pattern.ur
2019-02-27 13:59:15 -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
319c2fa48d
Merge branch 'wip/rt1' of github.com:unisonweb/unison into wip/rt1
2019-02-26 12:23:25 -05:00
Arya Irani
c58f51522a
update remote-api based on discussion
2019-02-26 12:23:18 -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
Arya Irani
83743df3da
overhaul search & representation of short hashes; [non-compiling]
2019-02-24 23:54:06 -05:00
Arya Irani
4606280fc1
refactoring commands & output messages
...
Moved `P.wrap` calls from InputPattern.helpText initialization to the use site; introduced `P.wrapColumn2` since a use-site `P.wrap` can't penetrate the column group.
2019-02-24 13:52:14 -05:00
Arya Irani
e872dea777
Rt1 branch uses Rt1 by default
2019-02-23 16:14:53 -05:00
Arya Irani
adf1fb6e1e
cleanup
2019-02-23 16:13:28 -05:00
Arya Irani
5750656c7f
introduce Pretty.nonEmpty, and cleaned up TodoOutput
2019-02-23 14:32:15 -05:00
Arya Irani
985f20701b
refactor DisplayDefinitions
2019-02-23 12:10:31 -05:00
Arya Irani
9da5f929df
promote Unison.Codebase.CommandLine to Unison.CommandLine
2019-02-23 11:39:20 -05:00
Arya Irani
21bdb67a13
dicing up the cli
2019-02-23 11:30:37 -05:00
Arya Irani
72a5446159
scraps of unison remote api
2019-02-22 17:01:47 -05:00
Arya Irani
9bcf84093a
improve(?) Rt1 and delete Rt0
2019-02-22 13:47:59 -05:00
Arya Irani
21e9989f24
add Symbol names to IR.Let and IR.Match for the purpose of decompiling later
2019-02-22 12:18:43 -05:00
Arya Irani
cc6f1a0bfa
formatting
2019-02-21 22:26:52 -05:00
Paul Chiusano
a75759808b
added one more level of breaking for lambdas, so we get
...
x y z ->
blah
blah2
rather than
x
y
z ->
blah
blah2
2019-02-21 17:15:10 -05:00
Paul Chiusano
aee8de62d6
Merge branch 'wip/rt1' of github.com:unisonweb/unison into wip/rt1
2019-02-21 17:05:37 -05:00
Paul Chiusano
8b4d680ea1
IR.compile now handles if
, a slight oversight
2019-02-21 17:05:32 -05:00
Runar Bjarnason
7b7cb236b8
Merge branch 'wip/rt1' of github.com:unisonweb/unison into wip/rt1
2019-02-21 16:59:08 -05:00