Rúnar
dca8c68fa5
Merge branch 'master' into topic/codebase-editor
2018-12-17 08:07:35 -05:00
hepin1989
788998e7d8
Update dependencies for jvm-runtime.
2018-12-01 14:19:03 +08:00
Paul Chiusano
ee94a0c013
added Float.floor, Int.truncate0, Nat.mod
2018-11-18 15:15:15 -05:00
Paul Chiusano
adffc236a9
constructors get qualified names
2018-11-11 16:40:10 -05:00
Arya Irani
88f7ac6977
print scala hashes using base58 to match haskell
2018-11-10 16:01:10 -05:00
Runar Bjarnason
d8c44ca78b
Fixed serialization of lambdas
2018-11-06 16:06:32 -05:00
Runar Bjarnason
39fd4f46ba
Fixed Scala side protocol to match Haskell
2018-11-06 13:15:24 -05:00
Arya Irani
f1705f7d98
it's alive
2018-11-06 11:29:32 -05:00
Runar Bjarnason
4e63387799
Attempting (and failing) to serialize some shit
2018-11-05 17:51:59 -05:00
Runar Bjarnason
75641892e5
Merge branch 'topic/codebase-editor' into wip/serializeV0
2018-11-05 14:15:02 -05:00
Paul Chiusano
b9a04335f9
rename Stream.to-sequence to Stream.toSequence
...
Want to move to using camelCase and simplify identifiers to not allow dashes
2018-11-04 12:12:58 -05:00
Paul Chiusano
77ca5db7bc
writing/reading a sync byte after evaluation, so command line unison tool knows when evaluation is done
2018-11-04 12:01:45 -05:00
Arya Irani
9158a6e2cb
speed up scala tests...
...
by using bloop to compile and by assuming `stack build` has already been run
2018-11-01 02:18:18 -04:00
Runar Bjarnason
f56503449d
Bumped Scala version
2018-10-31 19:20:16 -04:00
Arya Irani
72c936c1e0
fixed the type of ()
...
408 tests passing, 10 failing, 17 pending
2018-10-30 15:23:28 -04:00
Arya Irani
cdad6fef2a
call hashDecls in parseDataDeclAsBuiltin, and propagate the resulting Reference.Derived values everywhere
...
398 tests passing, 20 failing, 17 pending
2018-10-30 15:05:55 -04:00
Runar Bjarnason
b9cac5b23b
Who watches the watchers?
2018-10-26 17:18:42 -04:00
Runar Bjarnason
398eecf238
Serialize V0 compiles
2018-10-26 12:33:54 -04:00
Runar Bjarnason
5eb58a6de0
wip
2018-10-26 11:29:49 -04:00
Paul Chiusano
33c7ed6af3
tweak Scala side representation of Id to match Haskell - can now index into a cycle
2018-10-24 20:46:22 -04:00
Runar Bjarnason
6124690a70
wip
2018-10-23 18:10:51 -04:00
Arya Irani
4951cf104e
move Either/State/Read/Write decls from main/BuiltinTypes to test/TestBuiltins
2018-10-11 17:50:15 -04:00
Paul Chiusano
d9eb9fdb3e
exit bootstrap stream properly if socket closes, also fixes bug in Source
2018-09-26 18:27:22 -04:00
Paul Chiusano
31d32bf1d1
fix rendering of long sequences
2018-09-24 15:26:46 -04:00
Paul Chiusano
17309cdd44
Rename Text.concatenate to Text.++
2018-09-24 14:38:03 -04:00
Paul Chiusano
f09da9d84d
rename Int64 to just Int
2018-09-24 13:36:13 -04:00
Paul Chiusano
66962863b5
rename UInt64 to Nat
2018-09-24 13:15:40 -04:00
Paul Chiusano
bfb04ae6a9
got rid of Watch AST node, it's just a builtin function now
2018-09-23 02:26:19 -04:00
Paul Chiusano
5fac61d934
Polish and bugfixes, feels pretty nice
2018-09-23 01:38:59 -04:00
Paul Chiusano
bade2b1050
grabbing current line for watch message now
2018-09-22 15:22:51 -04:00
Paul Chiusano
a139f7c4c2
compiling Watch expressions
2018-09-22 13:50:41 -04:00
Paul Chiusano
464fe071d3
threading onWatch through compiler
2018-09-22 00:03:11 -04:00
Paul Chiusano
c19f623be7
add decoder for watch expressions on scala side
2018-09-21 23:06:44 -04:00
Arya Irani
8ae9c6e863
move main test hook from root to main
2018-09-21 16:49:20 -04:00
Paul Chiusano
dbdfd9ccc7
removed debugging output and IT WORKS, response from typechecker/runtime feels instantaneous
2018-09-20 18:49:08 -04:00
Paul Chiusano
e921c2118c
using flip instead of setting the limit, a bit clearer
2018-09-20 18:44:39 -04:00
Paul Chiusano
7c6dc750f8
fix bug with Source.fromSocketChannel/fromByteBuffer interaction
2018-09-20 18:42:48 -04:00
Arya Irani
74a8b609b6
add BootstrapStream app
2018-09-20 17:17:18 -04:00
Paul Chiusano
d8a4ba9d8e
fix issue with Lambda.compose not working in presence of effects
2018-09-05 15:21:05 -04:00
Paul Chiusano
c6da34fd5e
Add missing recursive ANF calls and update pretty-printer to not barf on ANF'd tuples
2018-09-05 11:30:43 -04:00
Arya Irani
880d521ae4
consolidate nested Apply in scala pretty-printer
2018-09-04 17:22:15 -04:00
Arya Irani
231055d146
fix tests/state2a-min.u by calling Components.minimize' in block
...
and also by fixing Components.minimize'
2018-09-04 15:42:04 -04:00
Arya Irani
90c4fd7d67
fix off-by-two error in dataConstructorish
2018-09-04 14:27:59 -04:00
Arya Irani
7bcbd48807
fix off-by-one in Sequence.at
2018-09-04 10:06:16 -04:00
Arya Irani
5726f681a2
eliminate some view operations because:
...
java.lang.UnsupportedOperationException: TraversableView.Builder.result
at scala.collection.TraversableView$NoBuilder.result(TraversableView.scala:27)
at scala.collection.TraversableView$NoBuilder.result(TraversableView.scala:24)
at scala.collection.IndexedSeqOptimized.zip(IndexedSeqOptimized.scala:90)
at scala.collection.IndexedSeqOptimized.zip$(IndexedSeqOptimized.scala:80)
at scala.collection.mutable.IndexedSeqView$AbstractTransformed.zip(IndexedSeqView.scala:46)
at org.unisonweb.BuiltinTypes$.org$unisonweb$BuiltinTypes$$$anonfun$dataConstructorish$4(BuiltinTypes.scala:126)
2018-08-16 11:09:27 -04:00
Paul Chiusano
392693f1a2
Added Sequence.{++, drop, at}
2018-08-02 16:08:56 -04:00
Paul Chiusano
a222a46353
fix scala tests to for new Foo.+ (vs +_Foo) syntax for qualified operators, also reduced test sizes for Sequence a bit so they don't take forever
2018-07-30 09:30:13 -04:00
Paul Phillips
1080eec0a7
Make 'sbt test' run the tests.
2018-07-22 12:21:36 -07:00
Arya Irani
7ddd0c11d7
all better
2018-07-08 23:48:45 -04:00
Arya Irani
a91b6c81a8
no more stack allocations for Stream
...
`fp_s` and `fppp_s` accept a function returning `EnvTo[Foo]`.
The environment is passed to the resulting `EnvTo[Foo]` before
encoding the `Foo` as normal.
2018-07-07 17:49:59 -04:00
