unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-10-05 14:17:33 +03:00
Code Issues Projects Releases Wiki Activity
2,379 Commits 425 Branches 92 Tags 407 MiB
0076fb2bab
Commit Graph

373 Commits

Author SHA1 Message Date
Paul Chiusano
0076fb2bab synthesizeApp should strip any effects from the function type 2018-08-05 23:55:31 -04:00
Paul Chiusano
bfbff8eec8 fix unArrows and add a simple test for it 2018-08-05 22:40:23 -04:00
Paul Chiusano
9f2a040c72 Merge remote-tracking branch 'origin/topic/pretty-errors' into topic/delay 2018-08-05 21:44:37 -04:00
Paul Chiusano
e93aa9822e got rid of delay keyword! works to just make ' bind looser than keyword based blocks 
so you can just write `spawn 'let <block>`
 2018-08-05 08:59:18 -04:00
Arya Irani
0942f7ad9d added more hopefully helpful typechecker output 2018-08-04 08:15:23 -04:00
Arya Irani
db7c8f74b5 more tweaking of message i've never seen displayed 2018-08-04 00:00:47 -04:00
Arya Irani
92dca8ca8c tweaked message slightly 2018-08-03 23:54:49 -04:00
Arya Irani
1cc02f7f78 add some more basic output for previously unhandled type errors 2018-08-03 23:50:39 -04:00
Arya Irani
4cc8848270 stack's incremental recompilation failed me 2018-08-03 19:31:59 -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
Arya Irani
9495e9790b (not compiling) filled in something for PrintError.prettyParseError 2018-08-03 18:40:40 -04:00
Arya Irani
d635dcf6b2 Merge branch 'topic/delay' of github.com:unisonweb/unison into topic/pretty-errors (noncompiling) 
# Conflicts:
#	parser-typechecker/src/Unison/PrintError.hs
 2018-08-03 18:28:14 -04:00
Paul Chiusano
027539b36f added really dumb ability check failure printer, was blocked on this, needs much improvement still 2018-08-03 16:57:26 -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
17b2f77c72 (non-compiling) holes for parser errors 2018-08-03 15:06:31 -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
e3e22ac7d6 force overalltypes and mismatchsite to be shown in type mismatch excerpts 
moved the invisible ForceShow to be earlier in the Ord than the other colors, which will override it at the same location
 2018-08-03 12:00:29 -04:00
Arya Irani
d402ecbc13 map Intrinsic over builtin types; make some tweaks to typemismatch error 2018-08-03 11:51:43 -04:00
Arya Irani
88086f6e3c fix off-by-one highlight end issue 2018-08-03 10:43:08 -04:00
Paul Chiusano
aea87a6e07 simplify syntax 2018-08-03 03:50:54 -04:00
Paul Chiusano
a18b7ab7d0 import Foo.bar now works, no need for import Foo.[bar] 2018-08-03 03:50:54 -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
Paul Chiusano
4f0f41ddac Lexer wordyId no longer consumes the . in foo. followed by spaces or a delimiter like [ 2018-08-03 03:50:54 -04:00
Paul Chiusano
ef8e5a7bf4 IT'S ALIVE 2018-08-03 03:50:54 -04:00
Paul Chiusano
91a5b3a396 parser update to handle namespace blocks 2018-08-03 03:50:54 -04:00
Arya Irani
8a71e2599a add more position info to error output 2018-08-03 03:50:54 -04:00
Arya Irani
0dc470f279 update colors 2018-08-03 03:50:54 -04:00
Arya Irani
f75707f7d0 add Describe a node to AnnotatedDocument a 2018-08-03 03:50:54 -04:00
Paul Chiusano
1f6dc50701 generalizing over type signatures in effect constructors 2018-08-02 16:38:49 -04:00
Paul Chiusano
780656de20 generalizing over lowercase type variables in signatures, a la haskell 2018-08-02 16:34:53 -04:00
Paul Chiusano
392693f1a2 Added Sequence.{++, drop, at} 2018-08-02 16:08:56 -04:00
Arya Irani
fb8e020478 add more position info to error output 2018-08-02 14:44:59 -04:00
Arya Irani
6f60a4cd8b update colors 2018-08-02 14:44:38 -04:00
Arya Irani
cd4652b427 add Describe a node to AnnotatedDocument a 2018-08-02 14:44:05 -04:00
Paul Chiusano
ad1109c439 Merge remote-tracking branch 'origin/topic/pretty-errors' into topic/delay 2018-08-02 13:43:48 -04:00
Paul Chiusano
63419ddacc parser fix to allow '{Remote} a -> Foo 2018-08-02 13:42:53 -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
1da453ee9c Merge branch 'topic/pretty-errors' into topic/delay 2018-08-02 12:19:22 -04:00
Paul Chiusano
85eba3e45c restore Builtin.builtinTypedTerms 2018-08-02 12:17:32 -04:00
Paul Chiusano
bbfc7bb328 a bunch of cleanup of binding of builtins, fixes tests 2018-08-02 12:14:53 -04:00
Paul Chiusano
73849a7cba merge with topic/pretty-errors, add diagnostic that shows builtin data constructors not being bound 2018-08-02 07:52:20 -04:00
Paul Chiusano
5775670bd7 Merge remote-tracking branch 'origin/topic/pretty-errors' into topic/delay 2018-08-02 07:40:18 -04:00
Arya Irani
9377fc50ec Type.unTuple 2018-08-02 00:06:03 -04:00
Paul Chiusano
545f1c08c0 Merge remote-tracking branch 'origin/topic/pretty-errors' into topic/delay 2018-08-01 23:17:36 -04:00
Paul Chiusano
2dc12661dd Added syntax sugar: 'x for () -> x, !x for x(), and a delay layout block 2018-08-01 23:16:53 -04:00
Arya Irani
2dfe354d45 add bold, because then we'll have it 2018-08-01 22:58:07 -04:00
Arya Irani
76e36917d4 fix Type.unApps, and add underlining because, you know, that way we'll have it 2018-08-01 22:52:08 -04:00