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

547 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
f670dbcecc fixed issue with typeAt when path pointed inside lambda and added some diagnostic info 2015-05-08 12:58:52 -04:00
Paul Chiusano
142438dfba fix printing of variables in editor 2015-05-08 12:14:10 -04:00
Paul Chiusano
e4639f2612 fix issue #2 2015-05-08 11:59:19 -04:00
Paul Chiusano
8bbe58583d Update README.md 2015-05-07 23:45:39 -04:00
Paul Chiusano
ed4b8d4263 Update README.md 2015-05-07 23:03:58 -04:00
Paul Chiusano
4c84f724dd fixed some warnings 2015-05-07 21:15:56 -04:00
Paul Chiusano
9b84ae7fa0 removed unused lens dependency for now 2015-05-07 21:06:01 -04:00
Paul Chiusano
51210ae6a2 removed unused file 2015-05-07 21:00:54 -04:00
Paul Chiusano
78700b393f Merge remote-tracking branch 'origin/master' 2015-05-07 18:10:54 -04:00
Paul Chiusano
6b05d2bf93 went through build instructions 2015-05-07 18:10:44 -04:00
Paul Chiusano
71356a0103 Update README.md 2015-05-07 18:09:09 -04:00
Paul Chiusano
ee6e9392e0 Rename node/LICENSE to LICENSE 2015-05-06 22:09:25 -04:00
Paul Chiusano
b4eb5ec0e1 Merge pull request #1 from gitter-badger/gitter-badge 
Add a Gitter chat badge to README.md
 2015-05-06 16:30:19 -04:00
The Gitter Badger
99c09020cd Added Gitter badge 2015-05-06 20:29:52 +00:00
Paul Chiusano
7dd02c8100 Everything working with 0.15 2015-05-05 20:05:21 -04:00
Paul Chiusano
1a1063c0a7 Fix bug in parser satisfy function 2015-05-05 11:30:03 -04:00
Paul Chiusano
d013e98362 Simplified http request running 2015-05-05 10:58:30 -04:00
Paul Chiusano
7d36e3bd5e Editor compiling against 0.15 2015-05-04 22:36:51 -04:00
Paul Chiusano
cf8abfd2a5 WIP on upgrading to 0.15 2015-05-04 17:38:24 -04:00
Paul Chiusano
5e518c9c39 fix to explorer closing transition 2015-05-04 11:25:56 -04:00
Paul Chiusano
3a0bdd3766 Ordered contexts now cache some info to make wellformedness checking O(log n), greatly speeding up some typechecking problems. 2015-05-04 10:58:13 -04:00
Paul Chiusano
b69c8229ac Added short circuit for checking blank against a type 2015-05-01 12:35:27 -04:00
Paul Chiusano
6b68df0098 fix issue with type checker where fresh names weren't being allocated properly 2015-04-30 23:01:21 -04:00
Paul Chiusano
0e045d771f Fixed bug with ABT.focus function, added some additional diagnostic info 2015-04-30 13:35:20 -04:00
Paul Chiusano
23e887de0a fixed bug in Term.dependencies function and some cleanup of front-end 2015-04-29 17:52:05 -04:00
Paul Chiusano
626e82de4b fixed a JSON format mismatch between client/server 2015-04-29 11:14:32 -04:00
Paul Chiusano
892f5704d6 switch to Base64.URL encoding of hashes 2015-04-29 10:57:14 -04:00
Paul Chiusano
64490c3591 Added prettier printer for types and ABT terms, fixed typechecker bug causing ordered context to end up in wrong order 2015-04-29 10:47:37 -04:00
Paul Chiusano
721eca0e76 some front end changes to be consistent with new node api 2015-04-28 23:18:17 -04:00
Paul Chiusano
24e3a2cb71 node compiling with ABT representation 2015-04-28 22:58:48 -04:00
Paul Chiusano
d3baeaf46c frontend compiling (untested) 2015-04-28 17:45:15 -04:00
Paul Chiusano
43043376ce fix to JSON combinator and tweaked ABT JSON format 2015-04-28 14:05:33 -04:00
Paul Chiusano
68973c1d6e noncompiling initial change - converted Var ctors to use Symbol 2015-04-28 12:41:09 -04:00
Paul Chiusano
20e942ae1c moved Symbol to its own file 2015-04-28 12:35:50 -04:00
Paul Chiusano
d69d0d1f5c committed backend refactoring 2015-04-27 23:30:21 -04:00
Paul Chiusano
f36b71fc49 remove site directory, way out of date and belongs in separate repo anyway 2015-04-27 21:57:26 -04:00
Paul Chiusano
7fe8ed488c got rid of unimplemented editType function 2015-04-27 21:55:01 -04:00
Paul Chiusano
9aa4e0b9c6 Compiling version of node implementation 2015-04-27 21:52:49 -04:00
Paul Chiusano
7ae278d0d1 Almost done (noncompiling) new ABT-based node implementation 2015-04-27 17:57:45 -04:00
Paul Chiusano
71dcdd5450 added admissibleTypeAt and typeAt functions to typechecker module 2015-04-27 14:59:18 -04:00
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