unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-24 00:39:58 +03:00
Code Issues Projects Releases Wiki Activity
3,845 Commits 418 Branches 90 Tags 342 MiB
26ca33aaca
Commit Graph

3845 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Paul Chiusano
26ca33aaca unpending a test 2019-04-11 16:14:53 -04:00
Paul Chiusano
da9568b9b3 fixed up prettyprinting tests 2019-04-11 16:10:47 -04:00
Paul Chiusano
a64f462a50 fix rest of tests and unpending some more 2019-04-11 16:00:55 -04:00
Paul Chiusano
b6d02f4500 fix one test and add a new pending test 2019-04-11 13:40:09 -04:00
Paul Chiusano
24ec186ebb removing pure effects, looks a lot cleaner 2019-04-11 12:22:40 -04:00
Paul Chiusano
2f1c247c3c huzzah! getting correct results even when just doing inference 2019-04-11 11:34:17 -04:00
Paul Chiusano
8f0cf93a25 remove tracing, add todo 2019-04-11 01:31:40 -04:00
Paul Chiusano
1a1158ed10 omg fix dumb bug - forgot to actually replace the annotation in the term with the existentializedArrow version 2019-04-11 01:19:31 -04:00
Paul Chiusano
01774b09dd cleanup, withoutAbilityCheckForExact 2019-04-10 23:10:48 -04:00
Paul Chiusano
d0133afd35 moar progress 2019-04-10 18:17:37 -04:00
Paul Chiusano
e7dec3ab3d setting for removing pure effects 2019-04-10 16:26:44 -04:00
Paul Chiusano
829401320d cleanup existentializeArrows usage 2019-04-10 16:04:09 -04:00
Paul Chiusano
05b4dbb1a6 Added a special case for an ability request of an unsolved existential - it is just solved to all of ambient 
inferred types are much cleaner, but still some work to do
 2019-04-10 13:03:28 -04:00
Paul Chiusano
d24361d6ad hooked up isRedundant 2019-04-10 12:26:22 -04:00
Paul Chiusano
d961136a79 isRedundant function WIP 2019-04-09 18:49:38 -04:00
Paul Chiusano
03b7be8e49 moar progress 2019-04-09 14:58:32 -04:00
Paul Chiusano
8dfb181138 fix existentializeArrows to actually do something 2019-04-09 13:30:00 -04:00
Paul Chiusano
c0f8ca6dc3 factored recursion into helper function go so can do 1 pass up front in TypePrinter to remove pure ability vars 2019-04-09 13:12:33 -04:00
Paul Chiusano
da671b63d0 Compiles, all but two typechecker tests pass - gets rid of effect generalization in favor of existentializing unadorned arrows 2019-04-09 12:58:06 -04:00
Paul Chiusano
62bb8f06ad
Update type-declarations.markdown 2019-04-09 09:43:15 -04:00
Paul Chiusano
838270aad9
Delete overapply-bug.u 2019-04-08 21:49:52 -04:00
Arya Irani
598076ee65 comments 2019-04-08 17:55:38 -04:00
Paul Chiusano
1696c442de
Update ability-typechecking.markdown 2019-04-08 11:38:32 -04:00
Paul Chiusano
97b1e839ea
Create ability-typechecking.markdown 2019-04-08 11:34:06 -04:00
Paul Chiusano
92721b7c1f
Merge pull request #438 from BenFradet/annotation-highlighting 
Escape annotation highlighting when enclosed with quotation marks
 2019-04-07 09:07:35 -04:00
Ben Fradet
43c146962f Escape annotation highlighting when enclosed with quotation marks 2019-04-07 14:29:11 +02:00
Runar Bjarnason
87539e0507 Threading 2019-04-05 18:15:45 -04:00
Paul Chiusano
0ee10ed416
Merge pull request #436 from jhrcek/readmeFix 
Fix cloning instruction in the README
 2019-04-05 08:01:07 -04:00
Jan Hrček
841bdc6d3c Fix cloning instruction in the README 2019-04-05 13:02:58 +02:00
Paul Chiusano
3045ac7cbd add one non-pending test and one pending test 2019-04-04 14:18:43 -04:00
Paul Chiusano
413fb38502 Merge branch 'master' of github.com:unisonweb/unison 2019-04-04 13:59:18 -04:00
Paul Chiusano
da084c1d22 cleanup trace statements 2019-04-04 13:59:12 -04:00
Paul Chiusano
8e304435e2 fix issue in synthesizeApp where existentials were refined to pure function types, not allowing for possibility of effects 
Still need to do some cleanup, will do that with separate commit
 2019-04-04 13:25:58 -04:00
Paul Chiusano
3968e5cccf
Merge pull request #434 from billy1kaplan/issue-427 
Float Library Functions
 2019-04-03 15:38:06 -04:00
Billy Kaplan
d737e90eb8 Add Billy Kaplan to Contributors.md 2019-04-03 15:35:01 -04:00
Billy Kaplan
cf3b684dc2 Add fromText function to float library 2019-04-03 15:18:00 -04:00
Paul Chiusano
4b9ed50042 Merge branch 'master' of github.com:unisonweb/unison 2019-04-03 15:02:04 -04:00
Paul Chiusano
43f83917bc fix tests for Arrow subtyping 2019-04-03 15:01:58 -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
d8b680eb1b
Merge pull request #432 from noahhaasis/fix-429 
Fix #429 - Remove duplicate elements from branch search
 2019-04-03 14:12:11 -04:00
Paul Chiusano
a0dc92d5bd
Merge pull request #430 from BenFradet/empty-watch 
Print custom error message in case of an empty watch expression
 2019-04-03 14:10:59 -04:00
Billy Kaplan
7ae588a10c Add round and float utils 2019-04-02 23:47:36 -04:00
Billy Kaplan
c8823d777c Add power float functions 2019-04-02 23:47:36 -04:00
Billy Kaplan
e58ceae5e6 Add float exponential functions 2019-04-02 23:47:36 -04:00
Billy Kaplan
72ac45d832 Add hyperbolic float functions 2019-04-02 23:47:36 -04:00
Billy Kaplan
be919b785e Add trigonometric float functions 2019-04-02 23:47:36 -04:00
Noah Haasis
fe528db534 Order search results by score 2019-04-03 05:02:12 +02:00
Arya Irani
e984586e1f
Merge pull request #426 from BenFradet/demo-fixes 
Fix demo examples
 2019-04-02 12:05:24 -07:00
Noah Haasis
1188927346 Remove duplicate elements from branch search 2019-04-02 16:31:27 +02:00
Arya Irani
c002d0b7fc
Merge pull request #431 from unisonweb/wip/inputpattern-args 
Richer InputPattern.ArgumentTypes
 2019-04-01 14:46:15 -07:00