Play

Timeline
Login

50 events occurring around 30f96733dbacb185.

More ↑
2020-11-24
05:12 New ticket [0a58fee236] Bug with negative numbers. artifact: df73340a0d user: robin.hansen
2020-11-23
18:11 New ticket [48cf587779] Remove 'entry: true' syntax. artifact: 024f242a6f user: robin.hansen
16:07 Post: Faliure-based (goal-directed) control instead of boolean-based control artifact: edd5876930 user: nagydani
2020-11-21
09:32 Alpha 1 released technote: [42bda888eb] user: robin.hansen
09:31 Added wiki page Play artifact: 8ca254debe user: robin.hansen
09:30 Changes to wiki page Play artifact: 01e66d8ab4 user: robin.hansen
09:17 Changes to wiki page roadmap artifact: 56e5560e39 user: robin.hansen
2020-11-19
09:45
Create new branch named "releases" check-in: e80d8311d7 user: robin.hansen tags: releases
09:44
Create new branch named "alpha-1" check-in: cc1aacf919 user: robin.hansen tags: alpha-1
06:01 New ticket [8cb29e1e63] Type inference fails for quotations with unbound stack ranges. artifact: 6c03d0eb5f user: robin.hansen
05:58 New ticket [426b0366e4] Drop '>' from constructor names of structs with no members. artifact: e76d0a8db5 user: robin.hansen
05:57
Fix 'Quotations' example in play ground. check-in: fc5483d159 user: robin.hansen tags: trunk, alpha-1, releases
05:56
Make sure code use to reproduce bug works as expected. Closed-Leaf check-in: af3cd0eeff user: robin.hansen tags: bugfix-generics-and-quotations
05:53
Make use of type annotations when type checking words. This allows for a workaround with stack range... check-in: 63296cf7f2 user: robin.hansen tags: bugfix-generics-and-quotations
2020-11-17
14:42
Add test for compilation failure found in playground. check-in: d4ac6cbece user: robin.hansen tags: bugfix-generics-and-quotations
2020-11-16
11:43 Closed ticket [db7c42d659]: In-browser repl plus 4 other changes artifact: 4f7840915e user: robin.hansen
11:43 Closed ticket [fad6092aa8]: Landing page plus 4 other changes artifact: 401bf520f8 user: robin.hansen
2020-11-15
11:30 Added wiki page roadmap artifact: 9a2d082e7e user: robin.hansen
2020-11-05
18:41 New ticket [2ed5dbbb6d] Use ':' instead of 'when:' in multi-word definitions. artifact: a1c6fcc520 user: robin.hansen
18:39 New ticket [05dc3c652b] deftype: should be renamed to defstruct:. artifact: 36fcb45b3a user: robin.hansen
2020-10-23
04:55 Closed ticket [ee40b7b2b4]: Allow parens around generic type in union or type member plus 3 other changes artifact: d266c33f46 user: robin.hansen
04:48 New ticket [b816447fde] Shorten unit tests by automating construction of getters and setters. artifact: 604a20c19f user: robin.hansen
04:46 Closed ticket [56a0fe1350]: Exhaustiveness checking plus 3 other changes artifact: 091dc72a12 user: robin.hansen
04:46
TypeChecker now checks to see if a multiword handles every possible leading type. Fixes [56a0fe1350]... check-in: dbcb88d2fc user: robin.hansen tags: trunk
04:44
Add error message for inexhaustive multiwords. Closed-Leaf check-in: 30f96733db user: robin.hansen tags: exhaustiveness-checking
04:34
Add more tests to verify correctness of inexhaustiveness check. check-in: 9b6ee57feb user: robin.hansen tags: exhaustiveness-checking
2020-10-22
04:54
Inexhaustiveness check now handles recursive patterns, and doesn't report an error when a total bran... check-in: 511a510477 user: robin.hansen tags: exhaustiveness-checking
2020-10-20
05:00
First pass at recursive inexhaustiveness check. check-in: 64a19161a8 user: robin.hansen tags: exhaustiveness-checking
2020-10-19
06:01
First pass at inexhaustiveness check. Doesn't handle recursive cases. check-in: 52f96fb742 user: robin.hansen tags: exhaustiveness-checking
2020-10-17
12:24
Add missing implementation in test case. check-in: f10c7e0002 user: robin.hansen tags: exhaustiveness-checking
2020-10-16
05:02
Prepare for exhaustiveness checking. check-in: e9251da064 user: robin.hansen tags: exhaustiveness-checking
2020-10-13
05:00 Closed ticket [0dd72ccbb4]: Codegen fails for multiwords that targets generic unions plus 3 other changes artifact: dc2a992577 user: robin.hansen
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
04:03 New ticket [8bd9056d14] WASM module should have no knowledge of codegen phase or runtime. artifact: b9748f1c2e user: robin.hansen
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:06 Edit [24cd59fd9e]: Edit check-in comment. artifact: 0b3ae308e9 user: robin.hansen
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
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
More ↓