50 check-ins occurring on or before 2021-02-12 06:31:33.
More ↑
|
2021-02-12
| ||
| 06:31 | Change name scheme of scripts. check-in: 87090dea70 user: robin.hansen tags: trunk | |
|
2021-02-11
| ||
| 12:56 | Can now resolve external word references. check-in: 4ed17683cd user: robin.hansen tags: modules | |
| 11:50 | On second thought, externalModules should be a module => package dict. check-in: 9a52bbbd5e user: robin.hansen tags: modules | |
| 09:27 | Require a list of external modules, so qualifier can validate external module references. check-in: 18c7d0bfa4 user: robin.hansen tags: modules | |
|
2021-02-10
| ||
| 13:44 | Can now resolve package references in multiword definitions. check-in: f4459e72ea user: robin.hansen tags: modules | |
| 11:04 | Update elm-format. check-in: a4e1d24585 user: robin.hansen tags: modules | |
| 11:03 | Can now resolve package references in simple word definitions. check-in: 6416ab78b9 user: robin.hansen tags: modules | |
|
2021-02-09
| ||
| 11:27 | Turn tuple into record in preperation of registering words which requires loading additional modules... check-in: 7eff2f2dbd user: robin.hansen tags: modules | |
| 09:40 | Prepare data structures and add test for returning modules to load from qualifier step. check-in: a7c9bebc32 user: robin.hansen tags: modules | |
|
2021-02-07
| ||
| 12:02 | Qualify member types of structs. check-in: e503e3ec36 user: robin.hansen tags: modules | |
| 11:41 | Implement name mangling. check-in: 61c06857ee user: robin.hansen tags: modules | |
|
2021-02-05
| ||
| 14:46 | Built test case to check if name mangling works. Implementation to follow. check-in: 8a801a61d4 user: robin.hansen tags: modules | |
| 12:52 | Change how quote names are generated. check-in: 8c27f5a80c user: robin.hansen tags: modules | |
| 11:33 | Prepare for name mangling in qualifier step. check-in: 7b1a6816a6 user: robin.hansen tags: modules | |
|
2021-02-03
| ||
| 12:46 | Perform additional testing on module references to catch invalid module paths. check-in: 0f02eed1b4 user: robin.hansen tags: modules | |
| 09:10 | Parser now supports relative and absolut module references. check-in: f477fd7e39 user: robin.hansen tags: modules | |
|
2021-02-01
| ||
| 05:29 | Update dependencies check-in: 98700dab4b user: robin.hansen tags: trunk | |
|
2021-01-24
| ||
| 09:58 | Update dependencies check-in: b6a69c37e4 user: robin.hansen tags: trunk | |
| 09:52 | Remove warning about being compiled in debug mode from elm bundle, which cleans up the output from t... check-in: fd2d78e20e user: robin.hansen tags: trunk | |
| 07:22 | Make syntax changes based on language proposal [49d490f836]. Fixes tickets [05dc3c652b], [2ed5dbbb6d... check-in: 5de766c3d5 user: robin.hansen tags: trunk | |
| 07:19 | Add unit test to make sure defining functions without bodies is legal. Closed-Leaf check-in: 12f2f38909 user: robin.hansen tags: alpha2-syntax-changes | |
| 07:12 | When defining multiwords, : now replaces when:, else: replaces :. check-in: 1b2a7e4296 user: robin.hansen tags: alpha2-syntax-changes | |
|
2021-01-23
| ||
| 17:41 | Re-enable and correct source location test. check-in: a897d19fce user: robin.hansen tags: alpha2-syntax-changes | |
| 15:11 | Structs with no members now doesn't have a leading > in their constructor name. Only the compiler ca... check-in: 25fd54d4db user: robin.hansen tags: alpha2-syntax-changes | |
|
2021-01-19
| ||
| 16:09 | deftype: is now defstruct:. Disabled source location test, with intention of enabling it after all s... check-in: 1757d09f8c user: robin.hansen tags: alpha2-syntax-changes | |
|
2021-01-17
| ||
| 10:37 | Close this branch in favor of non-propogating tags. Closed-Leaf check-in: 35a3a367f0 user: robin.hansen tags: alpha-1 | |
| 10:36 | Close this branch in favor of non-propogating tags. Closed-Leaf check-in: 727f130ed4 user: robin.hansen tags: releases | |
| 10:32 | Simplify tests by automating ctor and getter/setter boilerplate. check-in: e9d8932285 user: robin.hansen tags: trunk | |
|
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 | |
| 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-10-23
| ||
| 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 | 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 | |
| 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: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 | |