unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 22:27:28 +03:00
Code Issues Projects Releases Wiki Activity
3,058 Commits 425 Branches 92 Tags 407 MiB
a66e8a6346
Commit Graph

3058 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Arya Irani
108afe9921 add unison loop script 2018-11-07 09:58:01 -05:00
Runar Bjarnason
ee66735c95 Removed extra blanks and unnecessary messages 2018-11-06 16:44:07 -05:00
Runar Bjarnason
2aa0a3b0db Removed spurious _ definitions from pretty file 2018-11-06 16:22:44 -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
Runar Bjarnason
2074e99ae1 Allow different user to run stack for tests 2018-11-05 14:03:34 -05:00
Runar Bjarnason
cefdd2d29f Added a test for TDNR with data constructors 2018-11-05 13:00:53 -05:00
Runar Bjarnason
deb84d81dd Put the data and effect constructors in the names 
for TDNR
 2018-11-05 11:59:39 -05:00
Paul Chiusano
64b68ba149 added a couple demo files, working up to a distributed sort function 
also spotted runtime bug, added pending test
 2018-11-04 13:30:08 -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
d8cc83e9cb add a trace on file reads since they are failing unexpectedly 2018-11-02 18:27:25 -04:00
Arya Irani
bb240a0726 trying to filter out duplicate TLC notes (may have different types over successive iterations of TDNR) 2018-11-02 16:59:45 -04:00
Arya Irani
289334938d we were including builtins in the TypecheckedUnisonFile, + formatting 2018-11-02 16:59:13 -04:00
Runar Bjarnason
d00cea34be . 2018-11-02 14:51:58 -04:00
Runar Bjarnason
0a11a73656 Formatting 2018-11-02 14:51:15 -04:00
Arya Irani
190ef7245e tdnr re-enactment looking good, one failing test... 
compilation.file.io-state2 - bootstrap: Prelude.last: empty list
 2018-11-02 14:46:35 -04:00
Runar Bjarnason
c52a27bf91 Formatting and naming 2018-11-02 11:04:35 -04:00
Arya Irani
e37ec4893e cleanup ... 
tried to group bindings in FileParsers.synthesizeFile to declutter the top level

This program
```
Foo.bar x = x + 1
bar 99
```
generates the following term:
```
Cycle (Foo.bar. (let rec[(λ (x. (Nat.+:Nat -> Nat -> Nat) Var x 1))] in (λ (x. Var + Var x 1)) 99))}
```
or
```
Foo.bar x = x + 1 -- is it weird that this is a let rec?
(x -> x + 1) 99 -- this seems weird, why is the body of Foo.bar being substituted into here
```
 2018-11-02 01:18:19 -04:00
Arya Irani
a172ed18cd cleanup / add Result.compilerBug helper function 2018-11-01 22:58:07 -04:00
Arya Irani
8815f49006 cleanup — 17x "Can't compile top-level term with free variables" 2018-11-01 22:55:57 -04:00
Arya Irani
dd73dbda36 "can't compile top-level term with free variables" 
haskell tests all passing
scala tests, 207 passing
  17 FAILED (failed scopes below)
    compilation.file.state2b-min = 20 - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.state4 = 15 - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.console - java.lang.RuntimeException: Can't compile top-level term with free variables cons, drop, at
    compilation.file.map-reduce - java.lang.RuntimeException: Can't compile top-level term with free variables size, drop, take, to-sequence    compilation.file.ask-inferred - java.lang.RuntimeException: Can't compile top-level term with free variables size
    compilation.file.tdnr2 - java.lang.RuntimeException: Can't compile top-level term with free variables +, -
    compilation.file.pattern-matching - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.tictactoe0 - java.lang.RuntimeException: Can't compile top-level term with free variables not
    compilation.file.tictactoe - java.lang.RuntimeException: Can't compile top-level term with free variables not
    compilation.file.sequence-at-0 - java.lang.RuntimeException: Can't compile top-level term with free variables at
    compilation.file.tdnr3 - java.lang.RuntimeException: Can't compile top-level term with free variables +, bar
    compilation.file.state2b - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.language-reference - java.lang.RuntimeException: Can't compile top-level term with free variables +, *
    compilation.file.state2a-min - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.tictactoe2 - java.lang.RuntimeException: Can't compile top-level term with free variables not
    compilation.file.state2a - java.lang.RuntimeException: Can't compile top-level term with free variables +
    compilation.file.tdnr - java.lang.RuntimeException: Can't compile top-level term with free variables +
 2018-11-01 21:31:57 -04:00
Arya Irani
9c91de6c35 bloop-built class files live in a slightly different spot 2018-11-01 19:39:24 -04:00
Arya Irani
2b52c8ad27 some debug prints 2018-11-01 18:11:29 -04:00
Runar Bjarnason
70b453d2e1 Builds 2018-11-01 17:44:38 -04:00
Runar Bjarnason
e11d676245 Merge branch 'wip/names' of github.com:unisonweb/unison into wip/names 2018-11-01 14:36:11 -04:00
Runar Bjarnason
45c0229980 very wip 2018-11-01 14:36:00 -04: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
Arya Irani
106aa2987c we had '.virthualenv' in there since 2013? 2018-10-31 19:39:17 -04:00
Arya Irani
15618130a5 Merge remote-tracking branch 'origin/topic/bloop' into wip/names 2018-10-31 19:37:02 -04:00
Runar Bjarnason
f56503449d Bumped Scala version 2018-10-31 19:20:16 -04:00
Runar Bjarnason
53695755ac Giving TLCs some TLC 2018-10-31 19:17:48 -04:00
Runar Bjarnason
e01ea07105 Solved blanks, not vars 2018-10-31 16:47:45 -04:00
Runar Bjarnason
213d97d16b TDNR typechecks 2018-10-31 16:01:10 -04:00
Runar Bjarnason
71e28192d2 TDNR refactor 2018-10-31 15:22:16 -04:00
Runar Bjarnason
832e823a08 ResultT 2018-10-31 11:55:37 -04:00
Arya Irani
76a4c92bf1 preserve old decisions in TypeChecker.typeDirectedNameResolution 
445 passing, 0 failing, 17 pending
TopLevelComponent is still wrong; showing typechecker/synthetic version of the term
 2018-10-30 18:16:30 -04:00
Arya Irani
6049447578 439 passing, "1" failing, 17 pending 2018-10-30 17:11:34 -04:00
Arya Irani
7954e719d6 swap args in Names.importing.go 
414 passing, "1" failing, 17 pending
 2018-10-30 15:37:30 -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
Paul Chiusano
0601547054 printout builtin names 2018-10-30 11:06:35 -04:00
Paul Chiusano
d3c39700c5 using passed in names, added todo 2018-10-30 11:02:59 -04:00
Paul Chiusano
5e2550fe81 show instance for Names 2018-10-30 10:49:17 -04:00
Paul Chiusano
9acbc28a98 tests run, 22 failures 2018-10-30 10:02:31 -04:00
Paul Chiusano
0b7e9d1599 it compiles 2018-10-30 09:37:09 -04:00
Paul Chiusano
345f11c220 more progress... lots of cleanup 2018-10-30 00:07:46 -04:00