Play

Timeline
Login

28 check-ins related to "multiwords-generic-case"

2020-10-13
05:00
Unions with generic branches can now be used in multiwords. Fixing [0dd72ccbb4]. check-in: 1fd01c7a22 user: robin.hansen tags: trunk
04:57
Resolve generics in the types of implementation of nodes, which fixes issues with auto-boxing behavi... Closed-Leaf check-in: 73fc0b4551 user: robin.hansen tags: multiwords-generic-case
03:56
Fix bug where quotes were not saved to Play stack, so quotes could produce wasm that failed to valid... check-in: 220be18d60 user: robin.hansen tags: multiwords-generic-case
2020-10-12
04:53
Box generics. It fails, however, as the type information is inconsistent (but compatible). check-in: 57b8bdd771 user: robin.hansen tags: multiwords-generic-case
04:06
Revert accidental commit. check-in: 602d05c50e user: robin.hansen tags: multiwords-generic-case
04:01
Accidental commit. check-in: 24cd59fd9e user: robin.hansen tags: multiwords-generic-case
03:55
Changed all references of 'promoteInt' to 'box', and made 'box' functions more generic in preperatio... check-in: 65901483bc user: robin.hansen tags: multiwords-generic-case
2020-10-09
08:57
Fix boxing behaviour when stack size is different from word input size. check-in: 646e3c4ef6 user: robin.hansen tags: multiwords-generic-case
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
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
04:57
Fix qualifier to allow generic cases in when branches. check-in: 38599bfec7 user: robin.hansen tags: multiwords-generic-case
04:24
Add failing test for generic cases in multiwords. check-in: d478546c6f user: robin.hansen tags: multiwords-generic-case
2020-09-19
17:31
Massive re-write to improve the reporting of errors. Fixes [20df8f9a8f] and [759b63d71d]. check-in: 4c389f6d48 user: robin.hansen tags: trunk