| .. |
|
errors
|
Merge pull request #224 from unisonweb/topic/typechecker-test2
|
2018-08-06 21:14:06 -04:00 |
|
tests
|
forgot to add this to commit, updated test file for new syntax
|
2018-08-05 19:10:59 -04:00 |
|
base58.u
|
Base-58 straw man implementation
|
2018-06-27 17:12:17 -04:00 |
|
base.u
|
all shared tests now passing
|
2016-12-11 22:36:44 -05:00 |
|
corpus.u
|
first cut at atom editor support for unison files
|
2018-06-16 16:17:10 -04:00 |
|
dindex-main.u
|
DIndex seems to be working, added simple test
|
2016-09-15 13:03:24 -04:00 |
|
dindex.u
|
node and shared tests now passing with new parser, also changed precedence of effect blocks to allow them to be used in operator expressions like foo <| do Remote { ... }
|
2016-12-13 12:07:43 -05:00 |
|
example-errors.u
|
Added some notes and example errors, generalized Term a bit to allow type annotations to contain locations.
|
2018-07-10 17:36:10 -04:00 |
|
extra.u
|
node and shared tests now passing with new parser, also changed precedence of effect blocks to allow them to be used in operator expressions like foo <| do Remote { ... }
|
2016-12-13 12:07:43 -05:00 |
|
fork.u
|
fix issues with Remote.sleep and Remote.race
|
2016-09-15 12:35:16 -04:00 |
|
html.u
|
got rid of node worker processes, spawning node worker in same process
|
2016-09-14 12:31:41 -04:00 |
|
index.u
|
using type aliases in dindex.u
|
2016-09-13 11:43:35 -04:00 |
|
indexed-traversal.u
|
cleanup, fix missed handling of key ordering
|
2016-10-12 09:32:17 -04:00 |
|
map-reduce.u
|
substitute the context before printing type errors
|
2018-08-06 09:59:54 -04:00 |
|
pingpong.u
|
got rid of node worker processes, spawning node worker in same process
|
2016-09-14 12:31:41 -04:00 |
|
race.u
|
fix invalid operator identifier error
|
2017-11-20 14:13:43 -08:00 |
|
receive-async.u
|
Remote.send is strict
|
2016-09-15 00:09:51 -04:00 |
|
searchengine.u
|
node and shared tests now passing with new parser, also changed precedence of effect blocks to allow them to be used in operator expressions like foo <| do Remote { ... }
|
2016-12-13 12:07:43 -05:00 |
|
test1.u
|
patterns now checked against scrutinee inferred type
|
2018-06-13 21:48:39 -04:00 |
