Runar Bjarnason
9c403732e4
IO is built in
2019-03-13 12:24:50 -04:00
Runar Bjarnason
777a1384c7
Add io source to runtime
2019-03-13 11:17:17 -04:00
Paul Chiusano
c2b7c56703
compiles, but not hooked up to the codebase yet
2019-03-11 17:27:54 -04:00
Paul Chiusano
e12bd6a4f7
wip in getting IO type and its hash from the Unison source, rather than from the codebase
2019-03-11 17:12:16 -04:00
Runar Bjarnason
e3d59384fb
Merge branch 'master' of github.com:unisonweb/unison into unisonIO
2019-03-11 15:49:42 -04:00
Runar Bjarnason
3e5f32fa52
Hello, World!
2019-03-11 15:49:18 -04:00
Paul Chiusano
9141a5f563
Merge pull request #379 from francisdb/sequence-literal-miltiline
...
fix #363 comma-first sequence notation
2019-03-11 13:30:08 -04:00
Runar Bjarnason
772c4c7a45
Input patterns
2019-03-11 12:15:48 -04:00
Runar Bjarnason
1d95dbe625
Execute command
2019-03-11 11:55:28 -04:00
Francis De Brabandere
0bfa30009d
fix #363 comma-first sequence notation
2019-03-11 12:01:41 +01:00
Arya Irani
7561a87b7c
comment out printing of IR and bigOl'LetRec; they are still enabled in the debug
branch.
2019-03-08 22:12:57 -05:00
Arya Irani
ae50859b46
remove duplicate CLI command
...
guessing it was duplicated in an auto-merge
2019-03-08 17:46:48 -05:00
Arya Irani
9114f780a3
Print a heads up when evaluating a file with no definitions AND no watch expressions.
2019-03-08 17:45:55 -05:00
Arya Irani
99f003eed8
Sort watch expressions by annotation to resolve #368
2019-03-08 17:43:59 -05:00
Paul Chiusano
da2f42ea06
simple stack GC, we should probably add a separate tail call instruction at some point
2019-03-08 13:52:36 -05:00
Paul Chiusano
f5104c2282
okay, figured it out - unitRef now matches the hash you get if you declare same type in a file
...
issue is that the data type hashing algorithm gives different results when one of the constructors has the same name as a data type. This could probably be fixed, but for now I just made `()` constructor be named in the same way as other types - `().()`, where the type name qualifies the constructor name, preventing overlap between type names and constructor names
2019-03-08 01:17:12 -05:00
Paul Chiusano
796900cd70
Moved unitRef, pairRef, optionalRef to DataDeclaration, rather than hardcoding their hashes
...
Tests all pass, however the unit type still seems to end up with a different hash than stucturally identical types added laterr
ex - type Foo = Foo somehow gets a different hash than the builtin one, even though they ought to be the same
2019-03-08 00:46:27 -05:00
Paul Chiusano
63791638a7
Merge branch 'wip/rt1' of github.com:unisonweb/unison into wip/rt1
2019-03-07 15:10:45 -05:00
Paul Chiusano
2532e97ada
Turn methodical.u
into a directory of tests, with corresponding .ur files
2019-03-07 15:10:36 -05:00
Arya Irani
75f72d8a37
Merge pull request #359 from unisonweb/remove-jvm-runtime
...
Remove JVM runtime
2019-03-07 14:51:04 -05:00
Arya Irani
c7bee3f156
Address #308 by providing some output after typechecking a blank file.
2019-03-07 14:43:12 -05:00
Paul Chiusano
c6b5259bf9
all tests passing now
2019-03-07 14:29:50 -05:00
Paul Chiusano
31e9195537
Merge commit 'aa6f3ec7' into fix/rt1
...
# Conflicts:
# parser-typechecker/src/Unison/Runtime/IR.hs
2019-03-07 14:19:31 -05:00
Paul Chiusano
d4a2edc7b7
filled in last todo in IR.hs
2019-03-07 13:05:53 -05:00
Paul Chiusano
c4be1d5dbc
filled in impl of IR.freeSlots
2019-03-07 12:57:27 -05:00
Arya Irani
26666d4b53
make builtin IR values not be arity 0 closure-forming lambdas
2019-03-07 12:56:56 -05:00
Paul Chiusano
a6c5e503da
filled in all the todos in Rt1.hs
2019-03-07 12:34:01 -05:00
Arya Irani
e736470258
complete previous fix
2019-03-07 12:15:44 -05:00
Arya Irani
0bbed2885c
fix pattern match bug where earlier cases influenced laster cases' stack size
2019-03-07 11:42:20 -05:00
Arya Irani
53310f78f4
Show local type names in watch expressions.
2019-03-07 10:32:30 -05:00
Paul Chiusano
b97b14d666
compiles w/ warnings
2019-03-07 07:07:19 -05:00
Paul Chiusano
3b071e2d94
noncompiling but mostly out of the woods on new and improved representation of Cont
2019-03-06 17:29:52 -05:00
Arya Irani
6b9a9d505b
delete references to jvm runtime
2019-03-06 16:31:31 -05:00
Arya Irani
312a91c6bf
Better message for #357
2019-03-05 18:26:18 -05:00
Paul Chiusano
4316df6e89
some progress
2019-03-05 17:10:12 -05:00
Paul Chiusano
a8c7a6ddc0
added separate test for overapply bug
2019-03-05 15:36:31 -05:00
Paul Chiusano
4ef4f1c064
fix compile error
2019-03-05 13:22:40 -05:00
Paul Chiusano
5257738794
Merge branch 'wip/refactor-cli' of github.com:unisonweb/unison into wip/refactor-cli
2019-03-05 13:18:41 -05:00
Paul Chiusano
c04fa926e2
added more diagnostics
2019-03-05 13:18:31 -05:00
Arya Irani
ee7302da57
hashes can autocomplete to definitions in the current branch.
...
I have some hashes in my codebase though that don't work; not sure what they are, either.
2019-03-05 12:29:36 -05:00
Paul Chiusano
420a7bc8db
diagnostics, removing some noisy output
2019-03-05 09:54:29 -05:00
Paul Chiusano
c99b566ca3
fix pretty printer to add a space in EffectBind
2019-03-05 09:54:04 -05:00
Arya Irani
0bfacc4b5a
Merge remote-tracking branch 'origin/wip/refactor-cli' into wip/refactor-cli
2019-03-05 00:33:30 -05:00
Arya Irani
6578b9d8f9
cleanup
2019-03-05 00:32:26 -05:00
Paul Chiusano
7018e823ca
fix incorrect pattern match bomb and add test case for it, down to just one failing test
2019-03-04 22:31:22 -05:00
Paul Chiusano
443475dcc1
cycle minimization done once up front to whole tree
...
previously it was just being done to outermost term
2019-03-04 22:19:44 -05:00
Arya Irani
8a2faa371b
list
with no arguments displays all definitions in the branch
2019-03-04 20:46:58 -05:00
Arya Irani
3aee173728
added Actions.modifyCurrentBranch0 :: (Branch0 -> Branch0) -> Action i v ()
2019-03-04 18:12:59 -05:00
Paul Chiusano
009794b740
using modifyCurrentBranch for all the things to ensure update branch is flushed to file system
2019-03-04 17:56:25 -05:00
Paul Chiusano
dafe9419ea
we think we fixed issues with branches not being saved to disk
...
The new approach is that CommandLine.main reads the loop state at each step and makes sure that the info is propagated as needed (to the autocomplete provider and also the file system listener that awaits new branch files arriving externally).
2019-03-04 16:56:35 -05:00