Francis De Brabandere
b803ca10b2
fix #378 close empty = blocks
2019-03-15 16:07:37 +01:00
Arya Irani
db7a9697b1
Merge pull request #391 from unisonweb/topic/forward-autocompletion
...
forward-autocompletion and exact matching for `view` / `edit` commands
2019-03-14 16:21:29 -04:00
Arya Irani
88171d5ee6
use forward-autocompletion and exact matching for view / edit commands
2019-03-14 16:11:04 -04:00
Arya Irani
7b44dc17e5
Merge pull request #389 from unisonweb/topic/lambdacase
...
add LambdaCase to .cabal extensions and remove from .hs
2019-03-14 13:48:11 -04:00
Arya Irani
e35a3229b1
plus one straggler
2019-03-14 12:48:27 -04:00
Arya Irani
a383bb4896
Merge remote-tracking branch 'origin/master' into topic/lambdacase
...
# Conflicts:
# parser-typechecker/src/Unison/Lexer.hs
2019-03-14 12:44:55 -04:00
Arya Irani
8c7f622ebb
add LambdaCase to cabal extensions (library only) and remove from .hs files
2019-03-14 12:43:40 -04:00
Paul Chiusano
f1b9488ce5
Merge pull request #388 from unisonweb/fix/387
...
Fix escaping issues in lexer
2019-03-14 11:34:06 -04:00
Paul Chiusano
3ac246a19d
fix for #387
2019-03-14 11:13:34 -04:00
Arya Irani
fece2d0e1c
Merge remote-tracking branch 'origin/master' into topic/ls-l
2019-03-14 08:57:19 -04:00
Paul Chiusano
41a14becef
Merge pull request #385 from mrdziuban/effect-printer
...
Fix printing braces in effects
2019-03-14 08:47:12 -04:00
Arya Irani
9e234e6430
Merge remote-tracking branch 'origin/master' into topic/ls-l
2019-03-13 23:02:50 -04:00
Arya Irani
1bbb14368c
implement ls -l and thread ColorText thru places
2019-03-13 23:02:40 -04:00
Matt Dziuban
e586af4dc1
Print curly braces in effects properly.
2019-03-13 20:58:23 -04:00
Paul Chiusano
fc4e99f206
Merge pull request #384 from unisonweb/topic/io
...
WIP on I/O functions
2019-03-13 12:56:36 -04:00
Paul Chiusano
a5a6ee49d9
Merge pull request #382 from mrdziuban/underscore-parsing
...
Parse underscores correctly
2019-03-13 12:25:30 -04:00
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
Matt Dziuban
18b53076b5
Support underscores in function names.
2019-03-13 07:28:10 -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
c2e50229bc
Merge pull request #367 from unisonweb/wip/rt1
...
[wip] RT1 mega-PR
2019-03-08 14:01:46 -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
8e4ef24bb7
make test pending
2019-03-08 12:58:33 -05:00
Paul Chiusano
bde9822e3a
Merge branch 'topic/computedrefs' into wip/rt1
2019-03-08 12:57:00 -05:00
Paul Chiusano
7106d7529d
unpending a bunch of tests
2019-03-08 12:56:02 -05:00
Arya Irani
2929d3feed
unexpected parse error when empty above the fold
2019-03-08 11:57:59 -05:00
Arya Irani
3b3008907f
Merge pull request #362 from unisonweb/topic/computedrefs
...
Compute the hashes of `unit`, `pair`, and `optional` at runtime, from their definitions
2019-03-08 11:15:45 -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
58cde06d8c
unpending a test
2019-03-07 15:15:40 -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
Arya Irani
aa6f3ec7f1
Add test for #351 .
2019-03-07 13:01:34 -05:00
Paul Chiusano
c4be1d5dbc
filled in impl of IR.freeSlots
2019-03-07 12:57:27 -05:00
