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 | |