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
144 Commits 432 Branches 91 Tags 137 MiB
10903125ac
Commit Graph

144 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
afce255292 eval no longer bakes in Noted 2014-07-04 12:30:46 -04:00
Paul Chiusano
800f14f3b9 refactored Eval interface 2014-07-04 11:23:51 -04:00
Paul Chiusano
8f7940b2b6 finished with File Store 2014-07-03 21:34:00 -04:00
Paul Chiusano
7369ba7469 finished stub of file Store, just need to fill in a few functions 2014-07-03 17:10:16 -04:00
Paul Chiusano
db2941c832 added comment about use of GET vs POST 2014-07-03 16:34:33 -04:00
Paul Chiusano
f65e91c264 edit-term/type are GET requests, as they don't update the store 2014-07-03 16:33:02 -04:00
Paul Chiusano
04a8c23ba6 refactoring node code a bit 2014-07-03 16:31:31 -04:00
Paul Chiusano
dde6830d51 got rid of redundant Store functions 2014-07-02 15:49:57 -04:00
Paul Chiusano
f9320017d9 finished Action interpreter 2014-07-02 15:00:27 -04:00
Paul Chiusano
3dbe96128a implemented Scotty node server 2014-07-01 13:32:28 -04:00
Paul Chiusano
30471d9e57 stubbed out server 2014-06-30 18:19:00 -04:00
Paul Chiusano
9d3891e05b scotty dependency 2014-06-30 18:01:09 -04:00
Paul Chiusano
5252221859 hashing for terms and types 2014-06-30 15:49:33 -04:00
Paul Chiusano
741733fc28 Terms now convertible to JSON 2014-06-30 15:27:31 -04:00
Paul Chiusano
60be05c6ee Type now convertible to JSON 2014-06-30 15:25:09 -04:00
Paul Chiusano
70910351f9 Implemented simple searchLocal 2014-06-30 13:59:41 -04:00
Paul Chiusano
d591cc406e fixed implementation of let floating 2014-06-30 11:46:24 -04:00
Paul Chiusano
31c1f6336e fixed versions of typeAt and admissibleTypeAt 2014-06-27 23:01:22 -04:00
Paul Chiusano
634c958025 let floating Action 2014-06-27 18:05:07 -04:00
Paul Chiusano
bdf0a738a7 more progress on implementing editor backend 2014-06-27 18:00:39 -04:00
Paul Chiusano
fad7b9f364 started on searchLocal 2014-06-25 17:22:14 -04:00
Paul Chiusano
e5c40aa0e7 implemented search 2014-06-25 16:22:13 -04:00
Paul Chiusano
a9359fd5dc added eta reduction Action and eliminated usage of lam1M 2014-06-25 11:13:13 -04:00
Paul Chiusano
d54dd1bade now using Noted monad transformer in more places to greatly reduce plumbing code 2014-06-25 10:49:00 -04:00
Paul Chiusano
af91eded80 cleanup, using Noted monad for less plumbing code 2014-06-24 18:22:56 -04:00
Paul Chiusano
889ea04b1c Added Noted monad 2014-06-24 17:38:04 -04:00
Paul Chiusano
9cf566560d stubbed out edit function 2014-06-24 16:54:01 -04:00
Paul Chiusano
847a3b185d fixed all compile errors and updated cabal file following change to handling of naming in term binders 2014-06-23 17:10:01 -04:00
Paul Chiusano
75cbc241fa using Axelsson-Claesson naming for binders in Term 2014-06-23 13:39:24 -04:00
Paul Chiusano
efae244700 fixed bug in retract where annotated types in context weren’t being retracted 2014-06-20 16:56:37 -04:00
Paul Chiusano
a03dbc9ab5 fixed typechecker bugs 2014-06-20 15:20:36 -04:00
Paul Chiusano
d368116fb9 Added pretty printing of terms/types 2014-06-20 14:00:20 -04:00
Paul Chiusano
05a58e4c6e remove dead code 2014-06-19 14:02:29 -04:00
Paul Chiusano
54d1c981d1 Adding more examples 2014-06-19 13:57:51 -04:00
Paul Chiusano
9388409d88 Removed warning 2014-06-19 13:57:40 -04:00
Paul Chiusano
87e9718ad3 More progress on Node 2014-06-19 13:57:06 -04:00
Paul Chiusano
8404ce5e3f Implemented several Node functions 2014-06-18 13:12:34 -04:00
Paul Chiusano
0103864689 Got rid of Layout, this type will be pure Unison, rather than being imported from Haskell 2014-06-18 11:51:56 -04:00
Paul Chiusano
64026b272e Cleaned up interface to type checker 2014-06-18 10:46:55 -04:00
Paul Chiusano
7cb8c7bd2e Moved Note to top level Unison package, as it’s being used for error reporting throughout 2014-06-18 09:58:44 -04:00
Paul Chiusano
a4f84194ec Term literals can contain layouts, also added Read instances for Term / Type 2014-06-18 09:12:53 -04:00
Paul Chiusano
b5b26698c3 Generalized node creation slightly 2014-06-17 22:18:48 -04:00
Paul Chiusano
c2fb5d9575 fixed case in check 2014-06-17 19:40:49 -04:00
Paul Chiusano
5a8d22c6bc Terms may now contain references to other terms by hash, which are expanded when type checking. 
Terms are thus dynamically linked to other terms (important for code sizes), but we support incremental type checking. The node permanently caches a type for each term hash. When typechecking a term, we simply lookup the already computed types of any hashes it references, rather than redoing their typechecking problem.
 2014-06-17 18:03:56 -04:00
Paul Chiusano
cc85d3dcf6 Starting on implementation of Node 2014-06-16 17:12:55 -04:00
Paul Chiusano
e44938ee14 Term and type are now monomorphic, polymorphism over literals and constraints wasn’t buying much 2014-06-16 14:47:59 -04:00
Paul Chiusano
83e6548633 updated Term 2014-06-16 13:04:10 -04:00
Paul Chiusano
605282accf Unison.Language package, which commits to particular choices of term and type literals 2014-06-16 12:50:38 -04:00
Paul Chiusano
01deebc32f Moving Layout to Unison.Language package 2014-06-16 11:13:05 -04:00
Paul Chiusano
ffbaf28a89 Node API reasonably complete 2014-06-13 17:54:28 -04:00