Arya Irani
dcd15f8c73
use VarInt encoding for backrefs and sequence lengths
2018-06-11 18:19:22 -04:00
Arya Irani
e7db5d98ec
print command-line usage in runtime bootstrap
2018-06-10 19:31:02 -04:00
Arya Irani
99a790dc85
PrettyPrint Int64 with positive sign
2018-06-10 19:30:37 -04:00
Arya Irani
3fe58f25b1
weird
2018-06-10 16:11:47 -04:00
Arya Irani
e1e84bc9fa
add more traced toward fixing new failing test
2018-06-10 16:06:24 -04:00
Arya Irani
c0839e6c27
add typechecking phase to bootstrap program
2018-06-10 16:04:56 -04:00
Arya Irani
39fdaf92d5
move parsers which depend on both Builtins and other parsers from Parsers to Parsers2 (name tbd)
2018-06-10 16:04:11 -04:00
Arya Irani
3e81af5601
clean up tests by temporarily enabling GHC warnings
2018-06-08 12:34:21 -04:00
Arya Irani
b6f4a38db6
Split UnisonFile data structure / non-parsing-related out of FileParser
2018-06-08 12:30:25 -04:00
Arya Irani
59acd4d5da
test parsing and typechecking sequences let-expressions
...
refactor to eliminate a dependency loop between Unison.Builtins and Unison.Parsers
move `unsafe*Parse*` from `FileParser` to `Parsers`
add `builtinEnv` parameter to `FileParser.file`
make `let` a keyword, or else maybe parsing precedence needs to change to be unambiguous
2018-06-07 18:47:34 -04:00
Arya Irani
9cbbf58bdd
Merge remote-tracking branch 'origin/topic/typechecker' into wip/typechecker2
2018-06-06 17:58:36 -04:00
Arya Irani
f30067a4e9
Merge pull request #186 from unisonweb/topic/intellij-haskell
...
split bootstrap into non-overlapping source tree
2018-06-06 17:58:09 -04:00
Arya Irani
de47993345
Context.synthesize for if, and, or
2018-06-06 17:50:20 -04:00
Arya Irani
401168cfff
Merge pull request #187 from unisonweb/topic/typechecker-master
...
merge working travis script (master) into topic/typechecker
2018-06-06 17:37:49 -04:00
Arya Irani
b075d58e26
typechecking for Text literals
2018-06-06 17:09:50 -04:00
Arya Irani
cd529b9bef
Merge remote-tracking branch 'origin/master' into topic/typechecker-master
2018-06-06 15:07:26 -04:00
Arya Irani
c73086a696
add data constructor id to prettyprint output for hash references
2018-06-06 14:58:47 -04:00
Arya Irani
d2e85729ac
split bootstrap into non-overlapping source tree
...
helps intellij plugin and reduces `.cabal` length
2018-06-06 14:27:41 -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
Runar Bjarnason
e7d45eac41
Making progress substing builtins
2018-06-05 17:30:58 -04:00
Arya Irani
349030fb56
added text builtins in Haskell
2018-06-05 17:11:31 -04:00
Arya Irani
0937cef79c
add some of the builtins
2018-06-05 17:05:14 -04:00
Arya Irani
0586babb25
fairly successful cross-platform serialize/deserialize
...
still need to subst away builtins on the haskell side
2018-06-05 16:50:26 -04:00
Runar Bjarnason
486559bb5e
Bootstrap
2018-06-05 15:21:44 -04:00
Arya Irani
d961ddf8a2
Incremento!
2018-06-05 12:59:36 -04:00
Arya Irani
596a6bf8a6
delete
2018-06-05 12:06:56 -04:00
Arya Irani
e7a38949f8
implement serializeFile :: UnisonVile v -> m () untested
2018-06-05 12:06:24 -04:00
Arya Irani
df91671f3b
add the "more instructions" marker, most of the time
2018-06-05 10:58:27 -04:00
Paul Chiusano
3de9756900
filled in rest of serializeTerm
2018-06-04 18:15:10 -04:00
Paul Chiusano
89ed94257e
finished filling in serializePattern
2018-06-04 18:01:23 -04:00
Rúnar Óli Bjarnason
3390382ae5
filled in most of term serialization
2018-06-04 17:33:07 -04:00
Arya Irani
bc2cc50069
started a file
2018-06-04 14:34:35 -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
Arya Irani
dcf6acb372
add canonicalization tests for data type hashing
...
also have the test suite take a scope prefix on the command-line
2018-06-04 12:27:22 -04:00
Arya Irani
2f52572c75
implemented hashing of effect types and added some better docs
2018-05-31 18:01:12 -04:00
Arya Irani
03febf45e7
implemented Accumulate Hash using cryptonite
2018-05-31 17:10:24 -04:00
Rúnar Óli Bjarnason
e39f83c6d8
Preparing for hashing data declarations
2018-05-31 15:35:35 -04:00
Arya Irani
68d2549480
initial pass at structural hashing of data declaration cycles
2018-05-30 18:08:38 -04:00
Paul Chiusano
8744ab6897
fix issue with "hanging" case in a binding
2018-05-30 09:36:18 -04:00
Paul Chiusano
7521201256
added some diagnostics
2018-05-29 17:23:05 -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 Chiusano
82453d1b8c
tests all passing
2018-05-29 14:31:29 -04:00
Paul Chiusano
b01b6f1af6
switch to enable/disable tracing of parsing
2018-05-29 14:26:16 -04:00
Paul Chiusano
b124d2586f
Fix to virtual semi detection
2018-05-29 14:11:56 -04:00
Paul Chiusano
559daffe50
added effects to Type AST, trying to get everything parsing
...
There seems to be an issue with virtual semicolon parsing at end of file
2018-05-29 13:07:43 -04:00
Arya Irani
82c49a4da4
Merge pull request #183 from unisonweb/topic/travis-ci
...
fix & speed up travis script
2018-05-29 09:57:33 -04:00
Arya Irani
78b458b660
add benchmark/compile and re-remove sbt-coursier
...
coursier was causing local build failures for some reason
2018-05-29 09:49:59 -04:00
