Arya Irani
2dc77ba2f1
Merge branch 'master' into wip/pretty-errors
2018-08-29 07:47:12 -04:00
Arya Irani
f693f8cc5a
split TypeError extraction from printing; skeleton for regression tests
2018-08-23 10:23:17 -04:00
Rúnar Óli Bjarnason
9fcc4f9bf0
everything compiling with new pattern checking but tests not passing in effect pattern inference
2018-08-22 15:51:09 -04:00
Arya Irani
5590f5238a
add type signatures to tests to eliminate repl warnings
2018-08-14 16:39:42 -04:00
Runar Bjarnason
7c55d507b7
TDNR seems to work!
2018-08-13 14:18:12 -04:00
Runar Bjarnason
4721d06c28
Merge branch 'topic/pretty-errors' of github.com:unisonweb/unison into topic/type-directed
2018-08-10 16:11:24 -04:00
Arya Irani
5bb74984b7
Unison.Test.Typechecker now renders error messages on failure
2018-08-10 16:01:05 -04:00
Runar Bjarnason
47b8e5c7d3
Merge branch 'topic/typechecker-test2' of github.com:unisonweb/unison into topic/type-directed
2018-08-10 14:25:21 -04:00
Arya Irani
0e302bb040
rename Unison.Test.Typechecker2 to Typechecker
2018-08-09 16:09:46 -04:00
Arya Irani
a5f9c9729d
moved the last of the tests from Unison.Test.Typechecker into individual files
2018-08-09 16:08:51 -04:00
Arya Irani
2fd89ae6ee
moved a couple typechecker tests to .u files
2018-08-07 13:25:05 -04:00
Paul Chiusano
6b03258508
fix tests, make map/traverse test pending
2018-08-06 22:09:05 -04:00
Paul Chiusano
51470c980f
fix a test that was previously pending
2018-08-06 21:22:06 -04:00
Arya Irani
ee644e79a0
Unison.Test.Typechecker2 typechecks unison files from unison-src/{tests,errors}
2018-08-06 19:47:09 -04:00
Arya Irani
7aee925a83
add unison-src/errors/X-array.u
program which passes typechecking when it shouldn't
2018-08-06 17:51:43 -04:00
Runar Bjarnason
54789edc46
Keep unqualified names in env
2018-08-06 13:55:51 -04:00
Arya Irani
6a5263941d
resolve References to names in error printout?
2018-08-06 13:17:29 -04:00
Paul Chiusano
bfbff8eec8
fix unArrows and add a simple test for it
2018-08-05 22:40:23 -04:00
Arya Irani
5a9afe4611
Eliminated the P.ShowErrorComponent instance and replaced with first cut of AnnotatedText stuff
2018-08-03 19:24:07 -04:00
Paul Chiusano
8a357206c2
Merge remote-tracking branch 'origin/topic/pretty-errors' into topic/delay
2018-08-03 15:19:06 -04:00
Paul Chiusano
f20ad4dda6
fixed issue with handling of namespace / imports
2018-08-03 15:16:09 -04:00
Arya Irani
02ccef19b8
Merge branch 'topic/delay' of github.com:unisonweb/unison into topic/pretty-errors
...
# Conflicts:
# parser-typechecker/src/Unison/PrintError.hs
# parser-typechecker/src/Unison/Util/ColorText.hs
2018-08-03 13:54:30 -04:00
Arya Irani
88086f6e3c
fix off-by-one highlight end issue
2018-08-03 10:43:08 -04:00
Paul Chiusano
52bc19143e
imports, can appear at start of any block
...
import Monoid.[zero, +]
import Math.sqrt
2018-08-03 03:50:54 -04:00
Arya Irani
1e52a05b95
more AnnotatedText / ColorText refactor/cleanup
2018-08-02 13:42:08 -04:00
Arya Irani
a314535559
Merge branch 'topic/pretty-errors' of github.com:unisonweb/unison into topic/pretty-errors
2018-08-02 13:09:45 -04:00
Arya Irani
7dc83f6a4d
Add a type arg to Rendered
so as to not accidentally mix render styles
2018-08-02 13:09:21 -04:00
Paul Chiusano
bbfc7bb328
a bunch of cleanup of binding of builtins, fixes tests
2018-08-02 12:14:53 -04:00
Arya Irani
74faf73c9f
added example type
...
errors
2018-08-01 19:01:08 -04:00
Arya Irani
92554ae270
Merge branch 'topic/type-directed' of github.com:unisonweb/unison into topic/pretty-errors
...
# Conflicts:
# parser-typechecker/src/Unison/Type.hs
# parser-typechecker/src/Unison/UnisonFile.hs
2018-08-01 17:04:06 -04:00
Arya Irani
423333e9e1
wired up renderTypeError kinda
2018-08-01 16:11:07 -04:00
Runar Bjarnason
5a2ae3e3d1
Added pre-existing terms to type env
2018-08-01 13:04:55 -04:00
Arya Irani
1c3a13a727
flesh out AnnotatedDocument usage and instances slightly
2018-08-01 13:02:04 -04:00
Runar Bjarnason
c0beac042a
progress
2018-08-01 12:58:05 -04:00
Arya Irani
49f4655d6a
use Annotated typeclass; refactor to improve markup api
2018-08-01 11:46:14 -04:00
Arya Irani
2909f2feae
forgot to compile tests
2018-07-31 21:50:54 -04:00
Arya Irani
7c74e2ae2a
an untested implementation of PrintError.renderTypeError
2018-07-31 21:41:48 -04:00
Arya Irani
8fefcc6166
about to where we can start producing pretty compiler error messages
2018-07-31 19:53:29 -04:00
Arya Irani
b26f83a34b
working in a sense
2018-07-31 17:45:16 -04:00
Arya Irani
312e06622c
unfinished but compiling
2018-07-31 15:43:09 -04:00
Arya Irani
c5c03a31b9
fixed off-by-one error
2018-07-31 11:44:24 -04:00
Arya Irani
5c19631fbc
summarize a block of text into short segments according to its highlighting (non-working)
2018-07-31 00:21:18 -04:00
Paul Chiusano
8ce4fada96
uncommented rest of map/traverse test
2018-07-27 20:58:10 -04:00
Runar Bjarnason
fa8fe085aa
More pretty type errors
2018-07-27 17:05:35 -04:00
Paul Chiusano
52e29b53b2
adding an extra parameter to error printing so that References and constructor/effect calls can be rendered with names
2018-07-27 15:14:14 -04:00
Arya Irani
3cf50cfc1e
our lexer can't crash the compiler if user has incorrect indentation
...
changed a failing test to pending, pchiusano will debug
2018-07-27 14:08:45 -04:00
Arya Irani
4f2d0913da
some wordyId changes to make more tests pass
2018-07-27 13:39:25 -04:00
Arya Irani
2a5ca7023e
fix TermParser.number'
for positive ints
2018-07-27 13:11:15 -04:00
Arya Irani
4d7f055b03
tweaked stripMargin and applied it more carefully; 15 more passes
2018-07-27 12:56:38 -04:00
Arya Irani
c17b1cc6d6
file parser can pass tests, ...
...
- in `type Foo a = Bar`, `type` now opens the layout block instead of `=`
- fix effect declaration parser, was expecting `:` to open a layout block
- fix lexer mishandling `}`
- fill in empty pretty print case
- distinguish root from rootFile parser
- add debugLex'' which takes a [Token Lexeme]
2018-07-27 12:17:02 -04:00