Arya Irani
|
724e93e1c8
|
boost HOF stack size and un-minify stream test
|
2018-06-29 18:44:57 -04:00 |
|
Arya Irani
|
593c7a6631
|
testing up the tests
|
2018-06-29 17:57:58 -04:00 |
|
Arya Irani
|
1d0f546a53
|
comments
|
2018-06-29 17:09:51 -04:00 |
|
Arya Irani
|
21935173d3
|
runtime FileCompilationTests
|
2018-06-29 15:42:59 -04:00 |
|
Runar Bjarnason
|
505d186b0d
|
Base-58 straw man implementation
|
2018-06-27 17:12:17 -04:00 |
|
Paul Chiusano
|
c75eb1f4e1
|
Merge pull request #205 from unisonweb/master
merge master into wip/typechecker
|
2018-06-25 18:39:29 -05:00 |
|
Arya Irani
|
6a221273b8
|
first cut at atom editor support for unison files
|
2018-06-16 16:17:10 -04:00 |
|
Paul Chiusano
|
88d62e43c4
|
patterns now checked against scrutinee inferred type
|
2018-06-13 21:48:39 -04:00 |
|
Arya Irani
|
92f43221d3
|
typechecking for pattern-matching (untested)
|
2018-06-12 17:01:00 -04:00 |
|
Arya Irani
|
b3c922df36
|
substed in Terms for user-defined Data and Effect constructors
|
2018-06-05 18:47:15 -04:00 |
|
Arya Irani
|
64ddd5d02d
|
renamed some builtins, ran harder program; problem with local data decls
|
2018-06-05 18:02:04 -04:00 |
|
Arya Irani
|
41ba5c10c5
|
fixed true/false parsing
|
2018-06-05 17:49:49 -04:00 |
|
Arya Irani
|
25c52d169d
|
3++ == 4
|
2018-06-05 17:40:15 -04:00 |
|
Arya Irani
|
d961ddf8a2
|
Incremento!
|
2018-06-05 12:59:36 -04:00 |
|
Arya Irani
|
58302ae563
|
update parser to be able to use data/effect decls it encounters
|
2018-06-04 14:23:44 -04:00 |
|
Paul Chiusano
|
80b30b7ec1
|
Convenience function for reading / parsing a whole file, also spotted needless attempt in effect pattern parser
|
2018-05-29 16:20:19 -04:00 |
|
Paul Kinsky
|
08b8b1caeb
|
fix invalid operator identifier error
|
2017-11-20 14:13:43 -08:00 |
|
Paul Chiusano
|
059d8f14fd
|
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 |
|
Paul Chiusano
|
52840857cf
|
all shared tests now passing
|
2016-12-11 22:36:44 -05:00 |
|
Paul Chiusano
|
1e73a1a4be
|
term and types parsing again, got all of base.u parsing
|
2016-11-29 22:47:39 -05:00 |
|
Paul Chiusano
|
5b8abcb9d0
|
more progress on add command, handling ambiguity
|
2016-10-30 11:18:11 -04:00 |
|
Paul Chiusano
|
3064280a56
|
cleanup, fix missed handling of key ordering
|
2016-10-12 09:32:17 -04:00 |
|
Paul Chiusano
|
69160d31ad
|
fix html test, added a bit more diagnostics to searchengine.u
|
2016-10-11 17:24:38 -04:00 |
|
Paul Chiusano
|
e640c59693
|
added delimiter between search results
|
2016-10-11 17:00:23 -04:00 |
|
Paul Chiusano
|
c5a1c6fed2
|
clean up search engine example and add a few more builtins
|
2016-10-11 16:53:00 -04:00 |
|
Paul Chiusano
|
ad3f52250a
|
some search engine tweaks, spawning crawlers from multiple roots
|
2016-10-07 17:01:36 -04:00 |
|
Paul Chiusano
|
6e8a4df406
|
minor tweaks to searchengine.u
|
2016-10-07 16:13:22 -04:00 |
|
Paul Chiusano
|
4459246024
|
rename Node -> Codebase, split out evaluation functions, tests passing in shared
|
2016-10-07 12:37:51 -04:00 |
|
Paul Chiusano
|
3fe4807d55
|
search engine implementation + various utilities and tweaks
|
2016-10-05 16:57:32 -04:00 |
|
Paul Chiusano
|
75a24f5a7c
|
update sort call, due to rename
|
2016-10-04 21:00:34 -04:00 |
|
Paul Chiusano
|
9b4233e079
|
Vector.dedup and Order.equal
|
2016-10-04 20:53:51 -04:00 |
|
Paul Chiusano
|
e3e134cb83
|
Text.take/drop/words, Vector.dedup-adjacent
|
2016-10-04 20:37:59 -04:00 |
|
Paul Chiusano
|
d18364fa84
|
Fix quadratic performance bug in interpreter, added simple test of indexed traversal
|
2016-10-03 13:50:48 -04:00 |
|
Paul Chiusano
|
47f891d1f5
|
fix issue with IndexedTraversal.intersect
|
2016-09-30 14:34:33 -04:00 |
|
Paul Chiusano
|
c7e698b036
|
missed a few eval calls
|
2016-09-26 20:21:38 -04:00 |
|
Paul Chiusano
|
dbb2cd0de2
|
convert to strict interpreter, add if-then-else syntax
|
2016-09-26 17:59:13 -04:00 |
|
Paul Chiusano
|
328939809c
|
DIndex seems to be working, added simple test
|
2016-09-15 13:03:24 -04:00 |
|
Paul Chiusano
|
2eaacba7e0
|
fix issues with Remote.sleep and Remote.race
|
2016-09-15 12:35:16 -04:00 |
|
Paul Chiusano
|
4e4b1e17ae
|
Remote.send is strict
|
2016-09-15 00:09:51 -04:00 |
|
Paul Chiusano
|
d62745a74d
|
added receive-async example, toned down logging
|
2016-09-15 00:06:02 -04:00 |
|
Paul Chiusano
|
5b844512c0
|
got rid of node worker processes, spawning node worker in same process
|
2016-09-14 12:31:41 -04:00 |
|
Paul Chiusano
|
0dc9e37a47
|
fix compile errors in dindex.u and extra.u
|
2016-09-13 11:54:59 -04:00 |
|
Paul Chiusano
|
2f70ae7407
|
Merge remote-tracking branch 'origin/topic/searchengine' into topic/searchengine
|
2016-09-13 11:43:59 -04:00 |
|
Paul Chiusano
|
5a2ee0c5af
|
using type aliases in dindex.u
|
2016-09-13 11:43:35 -04:00 |
|
Sam Griffin
|
5e7f3aff10
|
fixed old references to Optional.getOr
|
2016-09-02 03:27:34 +00:00 |
|
Paul Chiusano
|
7b1e574ea6
|
Optional.getOr => Optional.get-or, down with CamelCase!!
|
2016-08-30 10:06:10 -04:00 |
|
Paul Chiusano
|
93c9f84b52
|
rename Vector.split to Vector.halve, add Vector.sort'
|
2016-08-29 17:12:43 -04:00 |
|
Paul Chiusano
|
02227a56e9
|
IndexedTraversals done + some other std library tweaks
|
2016-08-28 23:51:13 -04:00 |
|
Paul Chiusano
|
c0663e2fe8
|
Adding indexed traversals WIP
|
2016-08-28 16:45:37 -04:00 |
|
Paul Chiusano
|
30d9d89fe1
|
Much nicer ordering support, including arbitrary pairs, inverting orders, etc
|
2016-08-28 15:40:36 -04:00 |
|
Paul Chiusano
|
50367dd5c6
|
qualified operator infix syntax - a ==_Text b , and removed use of camel case in Unison
|
2016-08-28 00:05:09 -04:00 |
|
Paul Chiusano
|
a886c063b8
|
lots of std lib improvements / fixes to support DIndex
|
2016-08-24 17:16:26 -04:00 |
|
Paul Chiusano
|
1331400b1d
|
Vector.zip/bind/pure
|
2016-08-23 22:02:08 -04:00 |
|
Paul Chiusano
|
33f83dcfeb
|
Vector.at/take/drop
|
2016-08-23 21:27:59 -04:00 |
|
Paul Chiusano
|
09eaa3db1d
|
Index.{keys,increment} functions, added better error for unresolved symbols, defined various functions in Unison instead of ExtraBuiltins
|
2016-08-23 16:10:47 -04:00 |
|
Paul Chiusano
|
968733efb3
|
some std lib naming tweaks, modified type parser to allow dots in identifiers
|
2016-08-23 12:58:43 -04:00 |
|
Paul Chiusano
|
18d3fcd6dc
|
Vector.range, replicate, replicateM
|
2016-08-22 22:29:44 -04:00 |
|
Paul Chiusano
|
eb7a9fb785
|
more standard library - hashing functions, traversal, sequencing, folds
|
2016-08-22 17:00:52 -04:00 |
|
Paul Chiusano
|
1d4e3210d5
|
get rid of hacky layout support, tweak syntax, build up standard library
|
2016-08-22 15:27:13 -04:00 |
|
Paul Chiusano
|
441e41311a
|
move all unison files to unison-src directory
|
2016-08-21 17:58:07 -04:00 |
|
Paul Chiusano
|
632fc73cf9
|
ignore layout tokens during type parsing
|
2016-08-21 17:55:12 -04:00 |
|
Paul Chiusano
|
78c3cddef0
|
added layout blocks, using for do blocks and let bindings, altered syntax of let bindings to closer match do blocks
|
2016-08-21 17:33:20 -04:00 |
|
Paul Chiusano
|
fdac639034
|
examples working again, needed to resurrect Remote.map builtin
|
2016-08-20 16:27:54 -04:00 |
|
Paul Chiusano
|
d00c3f1cfa
|
hacking to get node workers loading base.u and extra.u from file
|
2016-08-19 17:46:10 -04:00 |
|
Paul Chiusano
|
31f6072231
|
splitting base out into separate .u file, which is now parsed by tests
|
2016-08-18 17:24:03 -04:00 |
|