Stabel

Timeline
Login

22 check-ins related to "unions"

2020-05-01
06:30
Merge in support for union types. check-in: 8a363c2eb2 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-30
14:45
multifn.test.js => multiword.test.js. check-in: 033875e136 user: robin.hansen tags: unions
14:44
Codegen now generates correct code for multiwords that takes in multiple arguments. check-in: 3259275be6 user: robin.hansen tags: unions
2020-04-29
16:35
Fix broken codegen test. check-in: 2c4fbbc1b9 user: robin.hansen tags: unions
16:30
Fix two bugs. (1) annotated type signature for concrete words wasnt respected. (2) type checker al... check-in: 7fdf02380d user: robin.hansen tags: unions
15:56
Type checker now correctly infers output values of a multi word. check-in: 4f532ab8e0 user: robin.hansen tags: unions
2020-04-25
13:31
Codegen now compiles multiwords with a default branch. check-in: 7e7304568b user: robin.hansen tags: unions
12:08
Type check default implentation of a multiword. check-in: 84f06fbbd8 user: robin.hansen tags: unions
2020-04-23
18:12
Add unit test for codegen working with multiwords over Int type. check-in: 8a74176fb5 user: robin.hansen tags: unions
2020-04-22
15:08
Fix broken test for when a union was used in a type signature. check-in: 7050aabaf7 user: robin.hansen tags: unions
2020-04-21
18:45
Add failing tests as a reminder for what needs fixing. check-in: f9ab760d5d user: robin.hansen tags: unions
05:04
Fix broken unit test. check-in: 7e15df2bda user: robin.hansen tags: unions
2020-04-20
18:56
Codegen now compiles successfully compiles a multi function. There are many cases which will not wor... check-in: 27c6fa22c6 user: robin.hansen tags: unions
16:44
Fix compile errors in codegen. check-in: 6ec92e35b7 user: robin.hansen tags: unions
2020-04-19
13:56
Type checker now understands union types and multi functions. It's likely to have many bugs, but goo... check-in: dde8ec31a9 user: robin.hansen tags: unions
2020-04-16
18:16
Type checker now mirrors the types it receives from the qualifier, which is a preqrequisite to reaso... check-in: e327cad8b2 user: robin.hansen tags: unions
2020-04-15
17:28
Qualifier now understands unions and multifunctions. check-in: de94b48dd2 user: robin.hansen tags: unions
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
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