unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-11-15 14:35:01 +03:00
Code Issues Projects Releases Wiki Activity
365 Commits 432 Branches 91 Tags 137 MiB
fe9719c8e7
Commit Graph

365 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
fe9719c8e7 WIP on standard library 2015-03-03 18:18:02 -05:00
Paul Chiusano
a498a1b93f Fixed issue with getDirectoryContents 2015-03-02 17:26:55 -05:00
Paul Chiusano
0879b69b86 WIP on getting search round trip working 2015-03-02 16:42:19 -05:00
Paul Chiusano
ae9752b815 Search requests now fully threaded through the editor 2015-03-02 15:23:36 -05:00
Paul Chiusano
c21d774f98 Invalid completions now shown in explorer 2015-03-02 14:41:16 -05:00
Paul Chiusano
dd8cc18b58 Updated client to deal with new search results API 2015-03-02 14:20:06 -05:00
Paul Chiusano
c8d84b8ce9 Updated Node API client side to match new signature for search function 2015-03-02 11:01:19 -05:00
Paul Chiusano
64f077000d Renamed a field in search results, and added type annotation to ill-typed terms 2015-03-02 10:46:25 -05:00
Paul Chiusano
488b9e675a modified signature of search function and provided dumb implementation 2015-02-27 17:41:18 -05:00
Paul Chiusano
9c3919c5f6 Added example which demonstrates that beta reduction works when arg has free variables 2015-02-27 14:02:52 -05:00
Paul Chiusano
e54caf3185 fixed issue that would cause explorer to mishandle trailing spaces in string literal entry 2015-02-27 13:52:44 -05:00
Paul Chiusano
bf2f14abc9 Whoops, capture-avoiding beta reduction broke type checker, which was relying on it being dumb; added two versions 2015-02-27 13:47:41 -05:00
Paul Chiusano
361c3ebb45 Hooked up edit actions, including evaluation! 2015-02-27 13:35:34 -05:00
Paul Chiusano
e8c3350b2c Lots of tweaks to editor interactions 2015-02-27 11:48:51 -05:00
Paul Chiusano
87ea464c0c handling infix operators in search box now 2015-02-27 01:07:48 -05:00
Paul Chiusano
4bebb003bb fixed UI glitch in displaying of explorer completions 2015-02-26 17:31:55 -05:00
Paul Chiusano
5322e1d670 Fixed issue with explorer literal parsing 2015-02-26 17:26:34 -05:00
Paul Chiusano
e7ba28c9d7 float before int, otherwise ambiguity 2015-02-26 16:57:45 -05:00
Paul Chiusano
9caf67ed9f more WIP on adding literals to search box 2015-02-26 16:44:31 -05:00
Paul Chiusano
562cfc6913 Beefing up searchbox parsing WIP 2015-02-26 14:06:11 -05:00
Paul Chiusano
be50244e12 Fixed issue with display of variables in explorer 2015-02-25 16:27:36 -05:00
Paul Chiusano
86c264a749 Progress - variables being displayed correctly, except in the explorer 2015-02-25 13:37:13 -05:00
Paul Chiusano
9224471ad4 Eliminated hacky use of boundAt, now pushing environment down 2015-02-25 11:01:58 -05:00
Paul Chiusano
9f12859428 Example working with debruijn indexing on front end 2015-02-25 09:44:30 -05:00
Paul Chiusano
311b5e9107 Editor code compiling with debruijn indices 2015-02-24 20:41:39 -05:00
Paul Chiusano
d17685a921 Node code compiling with debruijn-indexed terms 2015-02-24 20:00:31 -05:00
Paul Chiusano
e67c9ab6c9 Removed Term.weaken 2015-02-24 16:34:30 -05:00
Paul Chiusano
9a75ee0613 Various explorer style tweaks 2015-02-23 15:28:16 -05:00
Paul Chiusano
1438ba0d02 Lots of fixes with extracting type information for explorer 2015-02-23 13:04:59 -05:00
Paul Chiusano
d3afacc3d1 Type information sorta working 2015-02-20 20:08:16 -05:00
Paul Chiusano
35d10b1ce7 Beefed up explorer display 2015-02-20 14:08:06 -05:00
Paul Chiusano
ae8734d117 Round trip working with new framework 2015-02-18 18:35:30 -05:00
Paul Chiusano
301327f29f Testing in progress 2015-02-18 16:57:13 -05:00
Paul Chiusano
df2dd8948c Edit requests now being handled; had to make some modifications to node API 2015-02-18 14:42:28 -05:00
Paul Chiusano
a74f8c45fd converted editor to use Reference rather than Hash 2015-02-18 12:07:54 -05:00
Paul Chiusano
3d069236d5 Compiling with new handling of localInfo 2015-02-17 19:52:40 -05:00
Paul Chiusano
d0d332c046 Added defaultMetadata function 2015-02-17 18:14:05 -05:00
Paul Chiusano
03a6736511 revamp of refreshExplorer 2015-02-17 16:47:12 -05:00
Paul Chiusano
25c572fdd2 renamed openEdit to localInfo and cleaned up HTTP server code a bit on node 2015-02-17 15:24:59 -05:00
Paul Chiusano
0671b32521 avoid returning redundant results 2015-02-17 15:11:43 -05:00
Paul Chiusano
0b32f2ae46 finished keyedCompletions 2015-02-17 15:03:46 -05:00
Paul Chiusano
0a0e4b2b1f explorerValues defined in terms of keyedCompletions stub 2015-02-17 12:32:45 -05:00
Paul Chiusano
b4735700e5 Function for extracting the search key from a given term 2015-02-17 11:51:51 -05:00
Paul Chiusano
78084e3ecf Refactoring 2015-02-16 17:51:26 -05:00
Paul Chiusano
864beec339 Hooking up new request handling in Editor.elm 2015-02-16 17:13:08 -05:00
Paul Chiusano
58b165fad5 Improved send function to accept Maybe and track whether a request is waiting or the connection is inactive 2015-02-16 15:28:38 -05:00
Paul Chiusano
b0feb705e2 Factored out some HTTP boilerplate from Node.elm 2015-02-16 13:24:05 -05:00
Paul Chiusano
55a6650aeb Updated editor binding to openEdit node function 2015-02-13 18:47:33 -05:00
Paul Chiusano
752b01e24a Node now has openEdit function 2015-02-13 18:28:51 -05:00
Paul Chiusano
42d43402bf Added open function to node API 2015-02-12 14:15:35 -05:00