Play

Timeline
Login

50 check-ins related to "trunk" plus check-in "2020-05-01 06:30:27" occurring around 2020-05-01 06:30:27.

More ↑
2020-09-19
17:29
Add human readable description of type errors. Closed-Leaf check-in: f33a172238 user: robin.hansen tags: refactor-for-better-error-handling
2020-09-04
13:58
Play is now MIT licensed. Fixes [4d810d8d3a]. check-in: 055009be66 user: robin.hansen tags: trunk
2020-08-12
12:37
Create new branch named "refactor-for-better-error-handling" check-in: cdbf279a57 user: robin.hansen tags: refactor-for-better-error-handling
12:31
Auto (un)boxing of integers that are involved as the target of multiwords. Fixes [143c4a153a]. check-in: 24260843e0 user: robin.hansen tags: trunk
12:29
Remove codegen test case for pattern matches including generics. This will be added back in, in a la... Closed-Leaf check-in: 46a4d80dc8 user: robin.hansen tags: codegen-generic-multiwords
2020-08-07
14:02
Add tests for currently missing functionality in codegen check-in: 435bf2d49e user: robin.hansen tags: codegen-generic-multiwords
2020-08-06
10:52
Can now use parens in type signatures for expressing generic types and unions. check-in: 1f6d7fad40 user: robin.hansen tags: trunk
2020-08-05
14:14
Support recursive words and fix type checking issue with union comparision.

Detect recursive words ... check-in: 3aba10c79c user: robin.hansen tags: trunk

2020-08-03
13:55
Add support for custom types and unions with generic members. Fixes [87af6169a3]. check-in: 633b4e1088 user: robin.hansen tags: trunk
13:54
Fix remaining issues with generic types and codegen. Closed-Leaf check-in: 5779464d2f user: robin.hansen tags: generic-types-and-unions
2020-05-31
12:31
New syntax to define a custom type with generic members. check-in: 41d44e9128 user: robin.hansen tags: generic-types-and-unions
2020-05-30
16:05
Make sure a symbol cannot contain the line comment token. check-in: 1a970a2759 user: robin.hansen tags: trunk
15:27
Fix incompatibilities in wasm tests as a result to syntax changes in the parser rewrite. check-in: be3c2e3675 user: robin.hansen tags: trunk
15:19
Merge parser rewrite. check-in: fd6b5c094e user: robin.hansen tags: trunk
15:19
Dont expose everything from parser module. Closed-Leaf check-in: 0e2f00f774 user: robin.hansen tags: parser-rewrite
2020-05-28
15:29
Use elm/parser for tokenizer. check-in: eb865aaf6e user: robin.hansen tags: parser-rewrite
2020-05-22
12:16
Add support for pattern matching in multiwords. Fixes [3a3a135cf6]. check-in: 5738ada043 user: robin.hansen tags: trunk
12:15
Fixed bug where invalid pattern match syntax still compiled. Closed-Leaf check-in: cc0014e193 user: robin.hansen tags: pattern-matching
2020-05-15
14:28
Create new branch named "pattern-matching" check-in: 8eecc42c90 user: robin.hansen tags: pattern-matching
2020-05-14
17:48
Add support for quotations. Fixes [5a78656d3b]. check-in: 2e9ce9a07d user: robin.hansen tags: trunk
17:47
Type checker can now correctly validate type annotations which contains stack ranges. Closed-Leaf check-in: 4b33744ec9 user: robin.hansen tags: quotations
2020-05-01
08:33
Pull in latest fix from trunk. check-in: f2b032ea85 user: robin.hansen tags: quotations
08:29
Fix indentation levels of compiled web-assembly text. Fixes [b2a5d4f90a]. check-in: d8bdb13782 user: robin.hansen tags: trunk
07:53
Create new branch named "quotations" check-in: 1001421144 user: robin.hansen tags: quotations
06:30
Merge in support for union types. check-in: 8a363c2eb2 user: robin.hansen tags: trunk
06:29
Undo last series of undos. check-in: 211f1a3a5b user: robin.hansen tags: trunk
06:19
Remove codegen test that requires boxing of Int. This will come at a later time, as it'll likely req... Closed-Leaf check-in: 16414b954b user: robin.hansen tags: unions
2020-04-15
15:07
Revert trunk to the point of the last feature merge. check-in: bb4bf1194a user: robin.hansen tags: trunk
14:50
Merge in trunk, where the changes that were supposed to happen on this branch are. check-in: 596089c9b6 user: robin.hansen tags: unions
14:48
Parser now understands multifunctions. check-in: 5064f61334 user: robin.hansen tags: trunk
2020-04-14
17:09
Parser now understands union type definitions. check-in: 563df19e0c user: robin.hansen tags: trunk
16:25
Create new branch named "unions" check-in: 6aeef33924 user: robin.hansen tags: unions
2020-04-10
12:21
Add support for stack manipulation functions and generic function types. check-in: 32f58d1269 user: robin.hansen tags: trunk
12:20
Solve remaining issues with type checker for generic function types. Closed-Leaf check-in: 369c9800a9 user: robin.hansen tags: stack-manipulation
2020-04-07
08:38
Create new branch named "stack-manipulation" check-in: 4c2f5c9ed9 user: robin.hansen tags: stack-manipulation
2020-04-05
16:06
Play now supports compund types. check-in: d3329c2b01 user: robin.hansen tags: trunk
16:03
Setters now creates a copy of a struct before modifying. Closed-Leaf check-in: e34021aa10 user: robin.hansen tags: user-defined-types
2020-03-27
16:07
Create new branch named "user-defined-types" check-in: 4bde56c720 user: robin.hansen tags: user-defined-types
2020-03-26
17:24
Type check now fails if user provided type annotation doesn't match the inferred type. check-in: c9642fb514 user: robin.hansen tags: trunk
17:13
Parser now understands type annotations. check-in: 7b10b6b660 user: robin.hansen tags: trunk
15:30
Move WordType and Type into its own module. check-in: bbbc6e7e08 user: robin.hansen tags: trunk
05:56
Add tokenizer support for type annotations. check-in: 2ce085907d user: robin.hansen tags: trunk
05:44
Added dedicated metadata type. check-in: dac595c688 user: robin.hansen tags: trunk
05:16
Remove local function and replace with function defined in random-extra. check-in: fc5647a112 user: robin.hansen tags: trunk
2020-03-25
20:26
TypeChecker should now actually catch type errors. But we probably need more than one type to verify... check-in: 817e11bcf2 user: robin.hansen tags: trunk
19:09
Plug in the type checker into the compiler pipeline. check-in: 68af409196 user: robin.hansen tags: trunk
2020-03-24
19:18
Implement semi-functional type checker. It actually only checks that the stack is well formed, not t... check-in: 995afa9f2e user: robin.hansen tags: trunk
15:35
Setup new TypeChecker module with unit test. check-in: 04fe61cb6e user: robin.hansen tags: trunk
15:02
Improve wasm tests. check-in: f016c272d8 user: robin.hansen tags: trunk
2020-03-23
15:54
Test codegen by executing the generated code and making sure it produces the expected results. check-in: 19fe27a7ec user: robin.hansen tags: trunk
More ↓