Paul Chiusano
608ad4830c
fix unit tests and regenerate transcripts
...
I was puzzled about the change to the blocks.md transcript at first. What's happening: the previous version of the transcript was going through TDNR, and was failing the cycle check for mutually recursive lambdas. The new version isn't going through TDNR at all, it's just doing ordinary typechecking of a cycle, and cycles don't have access to any abilities so it's failing with the expected error now. Arguably, the example should have used the FQN so TDNR wasn't involved in the previous example.
2020-10-20 18:26:46 -04:00
Aaron Novstrup
30c22c484a
fix stray handle .. in instances in unison-src
2020-02-21 17:05:18 -08:00
Aaron Novstrup
5a841f30f5
fix stray case .. of instances and opportunities for cases in unison-src
2020-02-21 17:05:18 -08:00
Arya Irani
8cee89dc29
rename Builtins in initial namespace construction, and update tests
...
- () -> Unit
- ().() -> Unit.Unit
- Pair -> Tuple
- Pair.Pair -> Tuple.Cons
- Sequence -> List
- Effect -> Request
- {Int,Nat,Float,Text}.{==,<,<=,>,>=} -> {Int,Nat,Float,Text}.{eq,lt,lteq,gt,gteq}
- mark Text.!= as a deprecated builtin
2019-08-22 16:34:12 -04:00
Paul Chiusano
133589002a
remove garbage past the fold
2019-08-19 16:36:40 -04:00
Paul Chiusano
30eb92c90e
added failing test
2019-08-19 16:32:00 -04:00
Runar Bjarnason
41baba00ca
Basic model of test framework
2019-05-13 16:25:29 -04:00
Paul Chiusano
086b01efbb
unique introduces a layout block, removed effect keyword (and updated tests) and nicer "file typechecked" message
2019-05-09 10:36:29 -04:00
Paul Chiusano
deff4b2e26
fix #469
2019-04-26 16:43:16 -04:00
Paul Chiusano
5b6edd6b33
Merge pull request #467 from mrdziuban/pattern-match-vec-fns
...
Add pattern matching on sequences
2019-04-26 14:50:13 -04:00
Paul Chiusano
21b86ba141
fix #407
2019-04-25 23:27:10 -04:00
Matt Dziuban
6d4828582e
Add error case test for concat match without constant length.
2019-04-20 21:26:18 -04:00
Paul Chiusano
4490f6318c
improved error message a bit
2019-04-11 17:43:02 -04:00
Paul Chiusano
c0181c4158
failing test for #455
2019-04-11 16:34:51 -04:00
Paul Chiusano
2044c5297d
add two failing tests, which we are about to fix
2019-04-03 15:00:05 -04:00
Paul Chiusano
0ed21d5619
fix #413
2019-03-23 23:06:55 -04:00
Paul Chiusano
7106d7529d
unpending a bunch of tests
2019-03-08 12:56:02 -05:00
Runar Bjarnason
bb70620188
CamelCase all the things
2019-02-21 14:49:12 -05:00
Paul Chiusano
750d43ccdf
improved error message for case blah <unindent> of
2019-02-12 10:54:18 -05:00
Paul Chiusano
1e6fe070de
Merge pull request #276 from unisonweb/topic/codebase-editor
...
Topic/codebase editor is now master
2018-12-17 09:37:49 -05:00
Noah Haasis
8be494ef06
Remove example which know has a good error message
2018-12-17 05:49:35 +01:00
Runar Bjarnason
42bd109cf5
TDNR substituting blanks correctly
2018-10-15 16:10:55 -04:00
Runar Bjarnason
cff1b8857b
There's a bug somewhere.
2018-10-12 10:15:42 -04:00
Runar Bjarnason
f0746a142e
Now makes suggestions if the name matched but the type was different.
2018-10-11 21:49:01 -04:00
Arya Irani
dc793244b1
separate the root and leaf mismatched types for a function application error message
2018-09-25 10:21:31 -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
Arya Irani
90c4fd7d67
fix off-by-two error in dataConstructorish
2018-09-04 14:27:59 -04:00
Paul Chiusano
5457fc8967
un-pending a test, rename a couple pending tests for clarity
2018-09-01 11:02:32 -04:00
Paul Chiusano
3b369ec295
Merge remote-tracking branch 'origin/master' into fix/effect-instantiation2
2018-09-01 10:54:25 -04:00
Paul Chiusano
0d5727a641
fix test that was causing <<loop>> due to circular annotation definition in the typechecker
2018-08-31 18:51:05 -04:00
Arya Irani
19ecc260f3
add two poor error messages that involve tdnr
2018-08-31 13:46:30 -04:00
Paul Chiusano
53d735d84a
fix to instantiateL/R which was completely forgetting to instantiate effects
...
This appears to have been masking another error with effect inference in map-reduce.u, which is now failing with an ability check again
2018-08-31 13:36:48 -04:00
Arya Irani
a48fa3bd82
add two pending tests
...
unison-src/test1.u became a-tale-of-two-optionals.uu
2018-08-31 12:16:38 -04:00
Arya Irani
3935b36638
add two pending tests, one poor error message, un-pend a test, and add description to a pending test
...
also watch *.uu files from ./scripts/watchany.sh
2018-08-31 11:37:29 -04:00
Arya Irani
994ff0249f
Merge remote-tracking branch 'origin/master' into wip/pretty-errors
2018-08-30 13:55:32 -04:00
Arya Irani
d327b5a53c
add test errors/map-traverse3.u
2018-08-30 13:30:49 -04:00
Arya Irani
48f61bc76c
wired up "wrong argument type" error; polymorphicTypeInfo bit still needs debugging
2018-08-29 18:52:38 -04:00
Arya Irani
1858b5161f
wired up case guard message
2018-08-29 12:32:40 -04:00
Arya Irani
69ac1fa0da
add match guard, match body errors
...
bugfixes:
- fix SubseqExtractor >>=
- more robust extractor pattern for boolean / existential mismatches
2018-08-29 12:16:15 -04:00
Arya Irani
d42b955b5b
flesh out some stuff for ExistentialMismatch errors
2018-08-29 09:33:15 -04:00
Arya Irani
2dc77ba2f1
Merge branch 'master' into wip/pretty-errors
2018-08-29 07:47:12 -04:00
Arya Irani
b97bc7349b
error extractor for overapplied function
2018-08-28 22:24:05 -04:00
Chris Gibbs
eac377537a
A few failing typechecker tests
...
- tests/delay_parse.uu - () -> {T} '() does not parse - interaction between the ' and the {T}
- tests/match_unit.uu - can't match on () in a pattern
- tests/hole.u - holes don't seem to be supported yet
- errors/effect_unknown_type.uu - no error when using an unknown type in an effect declaration
These are the things I found while getting the following to compile, which it now does! :-) It's a sketch of how the Remote API might break down in to constituent effects.
https://gist.github.com/atacratic/99fb707a7cb96bcd714cc1c024a7e08e
2018-08-26 21:14:32 +01:00
Rúnar Óli Bjarnason
16ca2932d0
Fixed console.uu
2018-08-23 14:56:50 -04:00
Rúnar
4acf38abfc
Merge pull request #235 from unisonweb/topic/patterntypes
...
More robust implementation of pattern typechecking
2018-08-23 10:02:34 -04:00
Paul Chiusano
7d1a46eefe
test now passing
2018-08-22 21:08:53 -04:00
Paul Chiusano
bbfff95c17
fix issue in case checking where scrutineeType and outputType weren't being refined after each branch
2018-08-22 20:58:49 -04:00
Paul Chiusano
06a53f232a
added some pending tests
2018-08-22 10:57:18 -04:00
Paul Chiusano
95214e66f1
simpler console.uu example
2018-08-21 14:16:35 -04:00
