50 events occurring around 369c9800a99b2019.
More ↑
|
2020-05-01
| ||
| 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-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 | |
| 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 | |
| 11:06 | Modularize wasm test suite. check-in: 13f590fa78 user: robin.hansen tags: stack-manipulation | |
|
2020-04-09
| ||
| 11:50 | Codegen now works with additional builtins. One unit test reveals weakness in type checker. check-in: 5755611773 user: robin.hansen tags: stack-manipulation | |
| 11:02 | Type checker now properly understands generic variables, and their relations. check-in: 9f792070f4 user: robin.hansen tags: stack-manipulation | |
|
2020-04-08
| ||
| 14:21 | Qualifier now recognizes new builtins, and qualifies generic type names. check-in: a2c9e26444 user: robin.hansen tags: stack-manipulation | |
|
2020-04-07
| ||
| 11:16 | Add failing unit test for generic functions. check-in: 213c733314 user: robin.hansen tags: stack-manipulation | |
| 11:16 | Add more numeric and stack manipulation builtins. check-in: 728d07fba4 user: robin.hansen tags: stack-manipulation | |
| 10:24 | Forgot to include builtin module in previous commit. check-in: 403c4add2c user: robin.hansen tags: stack-manipulation | |
| 10:02 | Move builtin definitions into seperate module. check-in: 34c25f5c25 user: robin.hansen tags: stack-manipulation | |
| 09:21 | Parser now understands generic types. check-in: 1b4534796f user: robin.hansen tags: stack-manipulation | |
| 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 | |
| 14:18 | Generate correct code for getters and setters. check-in: 7ca8e16ef0 user: robin.hansen tags: user-defined-types | |
| 13:50 | Fix test which got broken after previous commit. check-in: eb1c1bf037 user: robin.hansen tags: user-defined-types | |
| 10:55 | Added allocation function, and implemented ConstructType using that allocation function and with sup... check-in: 411952f51f user: robin.hansen tags: user-defined-types | |
| 08:56 | Wrote unit test for code generation of data type with members. check-in: fc59153381 user: robin.hansen tags: user-defined-types | |
|
2020-04-04
| ||
| 11:16 | Type check members of type. check-in: f3d042d1c2 user: robin.hansen tags: user-defined-types | |
| 08:48 | Parser now generates getter and setter functions for custom types. check-in: cd19b04458 user: robin.hansen tags: user-defined-types | |
|
2020-04-03
| ||
| 14:00 | Add failing test that checks for the apparence of getters and setters. check-in: e8ebafc46f user: robin.hansen tags: user-defined-types | |
| 13:47 | Type constructor now has correct type information. check-in: eb86956fbc user: robin.hansen tags: user-defined-types | |
| 13:41 | Parser now understands types with members check-in: 8468934107 user: robin.hansen tags: user-defined-types | |
| 10:21 | Tokenizer now understands list start and list stop tokens. check-in: c0fc4761f3 user: robin.hansen tags: user-defined-types | |
|
2020-04-01
| ||
| 17:48 | Allows creating instance of custom data types without fields. check-in: bd33d157eb user: robin.hansen tags: user-defined-types | |
| 13:45 | Type checker now understands record definitions. check-in: 4682a975d2 user: robin.hansen tags: user-defined-types | |