unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-13 22:29:35 +03:00
Code Issues Projects Releases Wiki Activity
507 Commits 430 Branches 91 Tags 137 MiB
c85bd38eb9
Commit Graph

507 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
c85bd38eb9 Finished with typechecker updates 2015-04-22 15:03:35 -04:00
Paul Chiusano
0e5bb6ab3a Implement monotype smart ctor and fix warnings 2015-04-22 14:56:38 -04:00
Paul Chiusano
2bbf064de8 Implemented rest of functions in typechecker with help of new ABT-generic visit function 2015-04-22 14:51:47 -04:00
Paul Chiusano
9b897d6a9b Implemented ABT.subst in terms of more general replace operation, which is needed by type checker 2015-04-22 14:10:56 -04:00
Paul Chiusano
b89de8a03a Short circuit common case of fresh name generation 2015-04-22 14:08:55 -04:00
Paul Chiusano
d3b4691b66 Typechecker compiling with ABT representation 2015-04-22 12:20:21 -04:00
Paul Chiusano
9ee900737f More efficient variable freshening scheme and typechecker context 2015-04-22 11:05:02 -04:00
Paul Chiusano
f16c919b9f Added existential/universal type variables to type base functor and implemented context application in type checker 2015-04-22 08:52:13 -04:00
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