unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-25 17:27:52 +03:00
Code Issues Projects Releases Wiki Activity
499 Commits 418 Branches 90 Tags 348 MiB
aff0a214b2
Commit Graph

499 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
aff0a214b2 WIP on converting type checker to use abts 2015-04-21 22:22:02 -04:00
Paul Chiusano
ba1ba3513a Various helper functions and cleanup 2015-04-21 17:36:02 -04:00
Paul Chiusano
843f80386d Got rid of IntroLetRec in favor of ABT-generic Cycle constructor 2015-04-21 15:51:51 -04:00
Paul Chiusano
0cc5a3adab Totally redid hashing scheme for let rec 2015-04-21 15:40:31 -04:00
Paul Chiusano
23b4e33fa4 Mostly filled in TermEdit module 2015-04-20 17:37:14 -04:00
Paul Chiusano
c19951fc29 Nicer pattern syntax, and implemented eta reduction 2015-04-20 14:50:37 -04:00
Paul Chiusano
6025bea7ab WIP on implementing editing actions - done with abstract/abstractLet/mergeLet 2015-04-20 13:09:30 -04:00
Paul Chiusano
14f0ed9bf4 Implemented at/modify in terms of more general focus operation 2015-04-20 11:27:02 -04:00
Paul Chiusano
7bcc159e88 Using type alias for better signature readability of at/modify 2015-04-20 09:26:49 -04:00
Paul Chiusano
12d7219553 Added term paths and implemented at/modify generically for ABTs 2015-04-19 22:00:42 -04:00
Paul Chiusano
ccfa88b33c Filled in rest of Digestible1 implementations and got rid of warnings 2015-04-17 20:10:57 -04:00
Paul Chiusano
a95c7b36bb compiling WIP on converting Term and Type to ABT representation 2015-04-17 17:22:48 -04:00
Paul Chiusano
ece5a9cd7e Filled in some todos, cleanup, and better docs for hashing scheme 2015-04-17 14:16:51 -04:00
Paul Chiusano
77b8c47cb4 Binary serialization for symbols and ABT terms 2015-04-17 12:13:00 -04:00
Paul Chiusano
9ceb0044b9 implemented canonical hashing scheme 2015-04-16 22:00:19 -04:00
Paul Chiusano
d425ce5c4e Added a MonadPut for doing hashing, so can recycle binary serialization code to do hashing as well 2015-04-16 18:21:05 -04:00
Paul Chiusano
782648cd86 Redo ABT serialization and alpha equivalence 2015-04-16 15:24:28 -04:00
Paul Chiusano
83abd95265 simplify alpha equivalence checking 2015-04-15 18:17:43 -04:00
Paul Chiusano
93c92dccb8 defined alpha equivalence for closed terms 2015-04-15 17:03:47 -04:00
Paul Chiusano
82cc926fcc minor code style change to json decoder 2015-04-15 16:09:59 -04:00
Paul Chiusano
0fbf43e2b0 generic JSON parsing/serialization of ABTs 2015-04-15 13:46:35 -04:00
Paul Chiusano
09b0eff47a Added ABT implementation and reshuffled some stuff 2015-04-14 17:48:56 -04:00
Paul Chiusano
232c63e8c5 renamed String => Text 2015-04-14 14:23:32 -04:00
Paul Chiusano
83074085c6 more minor reorganization of directory structure 2015-04-14 14:03:54 -04:00
Paul Chiusano
e438696e41 Node.Server -> NodeServer 2015-04-14 13:49:39 -04:00
Paul Chiusano
b719fcab31 flattened module structure in node 2015-04-14 11:28:51 -04:00
Paul Chiusano
1d3a537a65 Swapped order of arguments to Moore.feed/step 2015-04-14 10:02:32 -04:00
Paul Chiusano
80b91ee3f6 fix minor issue with selection highlight in explorer 2015-04-13 17:08:56 -04:00
Paul Chiusano
ddab44ca5b fix alignment issue on current applications 2015-04-13 16:45:22 -04:00
Paul Chiusano
f7e4115455 fixed issue with metadata not being properly loaded by explorer 2015-04-13 16:20:24 -04:00
Paul Chiusano
6d83374746 fixed issue that was causing redundant requests to be issued 2015-04-13 15:47:39 -04:00
Paul Chiusano
0111239a4f hooked up view toggling 2015-04-13 14:05:57 -04:00
Paul Chiusano
0944631302 Replacements now work properly 2015-04-13 13:40:36 -04:00
Paul Chiusano
e25410b0eb selection1D state machine always refreshes view, even if no state change 2015-04-13 13:12:25 -04:00
Paul Chiusano
7e92061b4b fix issue with stale local info results being displayed 2015-04-13 12:59:58 -04:00
Paul Chiusano
f23b894a6d added key repeat for arrow navigation 2015-04-12 22:40:37 -04:00
Paul Chiusano
04daa79ac4 fix issue with explorer selection layer being fubar'd 2015-04-12 22:37:06 -04:00
Paul Chiusano
283c115508 fix matcher bug 2015-04-12 14:09:59 -04:00
Paul Chiusano
16ed8bdf02 Fixed match function, now showing search results properly 2015-04-12 13:31:01 -04:00
Paul Chiusano
159ee0a6ed enter cancels if no valid completions in explorer 2015-04-12 13:00:13 -04:00
Paul Chiusano
7fa2af0651 reapply now moves cursor to pt to newly created blank 2015-04-12 11:40:23 -04:00
Paul Chiusano
a2beadd375 fix string rendering in explorer 2015-04-12 11:21:14 -04:00
Paul Chiusano
8229009a11 fixed issue with focus being stolen when completions list refreshed with a different number of items 2015-04-12 11:17:47 -04:00
Paul Chiusano
7cea6af72b fixed issue with click handling of explorer being to eager in accepting the selection 2015-04-12 10:32:05 -04:00
Paul Chiusano
aa336af909 fix minor vertical centering of selection issue 2015-04-12 09:57:28 -04:00
Paul Chiusano
2c0f8621e5 fixed explorer misalignment issue 2015-04-12 09:11:42 -04:00
Paul Chiusano
2ad7cc588f Fixed issue with highlight getting cut off and mouse clicks being resolved improperly 2015-04-12 08:39:18 -04:00
Paul Chiusano
3785156a54 Fix circular var dep causing an NPE 2015-04-10 18:08:50 -04:00
Paul Chiusano
0fc01c6c52 editor fully connected to outside world 2015-04-10 17:37:06 -04:00
Paul Chiusano
c5760491e9 main loop defined for editor 2015-04-10 15:38:00 -04:00