Play

Timeline
Login

50 events occurring around 4c389f6d4889f5c6.

More ↑
2020-10-09
08:07
Use correct index when boxing Int. check-in: 485f243005 user: robin.hansen tags: multiwords-generic-case
07:15
Added new unit test that shows that int boxing doesnt work correctly. check-in: d844d507e6 user: robin.hansen tags: multiwords-generic-case
07:02
Box _all_ Ints that are passed as leading value to multi-words. This bug was revealed by the improve... check-in: 791d3c220d user: robin.hansen tags: multiwords-generic-case
2020-10-08
20:30
Fixed bug where generics weren't resolved in quototations as part of type checking. check-in: bcadb7b727 user: robin.hansen tags: multiwords-generic-case
05:07
Fixed bug where a quotation would add stack effects of referenced word to current stack effects line... check-in: 895c06e1b7 user: robin.hansen tags: multiwords-generic-case
04:41
Fixed corner cases when type annotation specifies generic type where type inferral specifies a stack... check-in: 01fa479595 user: robin.hansen tags: multiwords-generic-case
04:17 New ticket [867c88c442] Stack ranges should not be allowed within unions. artifact: 293b3a8472 user: robin.hansen
2020-10-07
05:30
Add two elm tests which captures what goes wrong in codegen tests. check-in: 0044f17f50 user: robin.hansen tags: multiwords-generic-case
04:59
Include pattern matches of multiwords in type inference, thus solving a bug with generic replacement... check-in: 24134f8a80 user: robin.hansen tags: multiwords-generic-case
04:39
Also simplify generics in Custom types check-in: e877a57c87 user: robin.hansen tags: multiwords-generic-case
2020-10-06
05:00
Fixed bug where multiword would fail to typecheck if one branch was less generic than the others. check-in: 51d7914510 user: robin.hansen tags: multiwords-generic-case
2020-10-05
04:57
Allow type annotation to constrain inferred generics. check-in: a0fe2fabd6 user: robin.hansen tags: multiwords-generic-case
04:11
Removed code which allowed a annotated generic variable to accept a union. check-in: 5db6a68261 user: robin.hansen tags: multiwords-generic-case
2020-10-02
05:00
Fixed bug where generic variables within union werent simplified, and a bug where the type inferred ... check-in: 81c4956b2d user: robin.hansen tags: multiwords-generic-case
2020-10-01
05:05
Simplified the word types of each when types. The tests pass now, even though we infer a similar typ... check-in: 31f5e67926 user: robin.hansen tags: multiwords-generic-case
04:44
Do not add def name to simplified word type. check-in: 360d38ba2a user: robin.hansen tags: multiwords-generic-case
04:39
Fixed bug where generics in annotations essentially worked like wildcards, when they should only typ... check-in: 52c49a4e21 user: robin.hansen tags: multiwords-generic-case
2020-09-30
05:13
Began working on a fix when type checking when branches with different sized inferred types. The tes... check-in: d1893fc56e user: robin.hansen tags: multiwords-generic-case
2020-09-29
05:08
Update dependencies check-in: cb74d49088 user: robin.hansen tags: trunk
04:57
Fix qualifier to allow generic cases in when branches. check-in: 38599bfec7 user: robin.hansen tags: multiwords-generic-case
04:44 Edit [d478546c6f]: Move to branch multiwords-generic-case. artifact: aa73485bb3 user: robin.hansen
04:24
Add failing test for generic cases in multiwords. check-in: d478546c6f user: robin.hansen tags: multiwords-generic-case
2020-09-19
17:32 Closed ticket [759b63d71d]: Error messages plus 3 other changes artifact: fcd4646e93 user: robin.hansen
17:32 Closed ticket [20df8f9a8f]: Keep track of source-code position of nodes plus 3 other changes artifact: 2011d75178 user: robin.hansen
17:31
Massive re-write to improve the reporting of errors. Fixes [20df8f9a8f] and [759b63d71d]. check-in: 4c389f6d48 user: robin.hansen tags: trunk
17:29
Add human readable description of type errors. Closed-Leaf check-in: f33a172238 user: robin.hansen tags: refactor-for-better-error-handling
16:50
Add human readable description of qualification errors. check-in: 753e779840 user: robin.hansen tags: refactor-for-better-error-handling
16:31
Add human readable description of parser errors. check-in: ee5cd8bd0d user: robin.hansen tags: refactor-for-better-error-handling
16:07
Setup infrastructure for proper stringification of errors. check-in: c189c12b58 user: robin.hansen tags: refactor-for-better-error-handling
15:50
Moved problem types into their own modules. check-in: 0a1f3aa103 user: robin.hansen tags: refactor-for-better-error-handling
15:31
Add unit tests for typechecking errors. check-in: d9553ea041 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-17
06:27
Fixing tests was easier than I thought. check-in: 3dd670e563 user: robin.hansen tags: refactor-for-better-error-handling
06:19
TypeChecker now retains source positions and reports proper errors. Tests are broken, though. check-in: e520ce4b13 user: robin.hansen tags: refactor-for-better-error-handling
04:36
Removed code comment after a review. check-in: e152fda726 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-14
04:34
Refactor into smaller functions. Could still do more of this, but I'll stop here. check-in: 5c5a82ff0e user: robin.hansen tags: refactor-for-better-error-handling
2020-09-12
06:56
Moved more functions from TypeChecker module to Type module. check-in: 4dd60aa0f3 user: robin.hansen tags: refactor-for-better-error-handling
06:54 New ticket [c45fd24509] Allow sub-unions to pass as a larger union type. artifact: d6ed231361 user: robin.hansen
2020-09-11
05:03
Moved functions specific to types from type checker to type module. check-in: 9d6f8d468e user: robin.hansen tags: refactor-for-better-error-handling
04:33
Minor efficiency improvements in type checker. check-in: 4dd47b0546 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-10
04:24
Do not expose Elms Parser.DeadEnd type from Play.Parser. check-in: b0809bb0a5 user: robin.hansen tags: refactor-for-better-error-handling
04:21
Add tests to see if qualifier catches unknown word and type referenes. It didnt catch the latter cas... check-in: e08d7e3e14 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-09
04:56
Qualifier now reports detailed errors. Missing tests. check-in: 77a26eedbd user: robin.hansen tags: refactor-for-better-error-handling
03:54
Fixed regression which caused stack overflow. check-in: bdc0171d44 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-08
13:37
Fixed all but two tests. check-in: 4a0832373e user: robin.hansen tags: refactor-for-better-error-handling
2020-09-07
18:54 New ticket [8c4daebfd2] Generic constraints. artifact: 592d8fa399 user: robin.hansen
04:56
Update qualifier to retain types from parser step. This broke all the tests. check-in: 5401959451 user: robin.hansen tags: refactor-for-better-error-handling
04:19
Qualifier now resolves unions, simplifying the type checker code. check-in: fb186e507c user: robin.hansen tags: refactor-for-better-error-handling
2020-09-06
12:08 Ticket [abaac5803b] Modules status still Open with 4 other changes artifact: 09b5050a52 user: robin.hansen
2020-09-04
13:58 Closed ticket [4d810d8d3a]: Decide on license plus 3 other changes artifact: e68c5c8feb user: robin.hansen
13:58
Play is now MIT licensed. Fixes [4d810d8d3a]. check-in: 055009be66 user: robin.hansen tags: trunk
More ↓