Play

Timeline
Login

50 descendants and 50 ancestors of 28d1fb8fd8ae0539b15c164f0b8720b576007e23b8737cca1cf226441264f940

2021-04-16
08:25
Bad commit. check-in: 858d57ef6f user: robin.hansen tags: stdlib
08:24
Include member types of union when printing error message. Also fix implementation of list/fold. Sti... check-in: a29bc5e10b user: robin.hansen tags: stdlib
2021-04-15
09:55
Fix bug where type checker would remove generic from inferred output of a multi-function, if the sam... check-in: aee83f3ef4 user: robin.hansen tags: stdlib
09:32
Fix bug where type checker would infer a nested union as possible input type. Unions are flattened. check-in: 9353390979 user: robin.hansen tags: stdlib
2021-04-13
13:58
Instead of inferring types of each branch in a multi-fn and compare the results to type annotation, ... check-in: 76d7054f19 user: robin.hansen tags: stdlib
2021-04-11
10:07
Add unit test that reproduces current typechecking bug with stdlib. check-in: 07dba377f5 user: robin.hansen tags: stdlib
09:20
Union members of custom types were not properly qualified. check-in: a45999dbcb user: robin.hansen tags: stdlib
2021-04-10
09:26
Remove optimization which caused a crash if a quotation referenced a yet-to-be qualified word. check-in: 49cc39c5d1 user: robin.hansen tags: stdlib
2021-04-09
08:08
Added List data structure. The implementation of fold revealed several bugs in the compiler. check-in: 744a763bab user: robin.hansen tags: stdlib
07:37
Added Pair/2-Tuple data structure. check-in: a327035cc3 user: robin.hansen tags: stdlib
2021-04-08
14:29
Add maybe module. check-in: b568971705 user: robin.hansen tags: stdlib
14:20
Add number functions. check-in: 9354cf1321 user: robin.hansen tags: stdlib
14:08
Add helper function to perform two quotations on a single value. check-in: fd3d3efaf8 user: robin.hansen tags: stdlib
14:02
Added booleans to stdlib. check-in: a22d52bc99 user: robin.hansen tags: stdlib
13:42
Rename stdlib/basic to stdlib/core. check-in: e4c78a4a49 user: robin.hansen tags: stdlib
2021-04-07
14:32
Begin working on a proper standard_library. check-in: 7c2806c6fc user: robin.hansen tags: stdlib
13:39
Add cli program to compile projects, run functions and initiate new projects. Leaf check-in: 9318fc4c3b user: robin.hansen tags: trunk
13:38
CLI now injects path to stdlib as a package path. Closed-Leaf check-in: 40164ce609 user: robin.hansen tags: cli
13:01
Detect errors in CLI.elm, and forward those errors to the terminal. check-in: 3b0a88175e user: robin.hansen tags: cli
12:58
Add standard library as a dependency when creating a project with the 'init' command. check-in: 34e9e1a068 user: robin.hansen tags: cli
08:01
Add cli command for initializing project. check-in: 770b0da167 user: robin.hansen tags: cli
07:42
Find path to stdlib and pass that on to PackageLoader.elm. check-in: b5bd5c4ee0 user: robin.hansen tags: cli
07:30
Check for existance of 'play.json' before initializing Elm-based compiler. check-in: 81e0c6f0c7 user: robin.hansen tags: cli
2021-04-06
08:17
Function marked as entry point is now actually exported from wasm module. Command works! check-in: 271a8a283a user: robin.hansen tags: cli
08:02
Added cli command for executing a function. Missing elm-side implementation. check-in: 0075328824 user: robin.hansen tags: cli
2021-04-03
07:56
Remove debug statement. check-in: 874da70254 user: robin.hansen tags: cli
07:29
Fixed bug when parsing words which could result in two words being interpreted as one. check-in: ec17f65074 user: robin.hansen tags: cli
2021-04-02
12:37
cli.js <-> CLI.elm interop completed, but there seems to be a bug in the parser that needs to be fix... check-in: 695ec5f34b user: robin.hansen tags: cli
2021-03-31
14:45
Initial work on cli.js <-> CLI.elm interop. Works fine, just need to implement missing messages. check-in: 4712590b0f user: robin.hansen tags: cli
2021-03-30
10:04
Load and initialize Elm code in bin/cli.js check-in: cab10c643e user: robin.hansen tags: cli
09:41
Fix compile error in Main.elm check-in: d20a4dc6a5 user: robin.hansen tags: trunk
09:29
Added new Elm module containing CLI related functionality. This will be compiled toa bin/compiler.js... check-in: 5ff3a4c6ce user: robin.hansen tags: cli
09:15
Added initial workings of a cli program. check-in: 66257248df user: robin.hansen tags: cli
08:57
Create new branch named "cli" (mistake) Closed-Leaf check-in: 7a0deace46 user: robin.hansen tags: cli
08:57
Merge basic module and package support. check-in: 97ad30bba8 user: robin.hansen tags: trunk
2021-03-28
11:18
PackageLoader now successfully generates Qualified AST for a multi-module project. Skips validation,... Closed-Leaf check-in: 6eb1210a51 user: robin.hansen tags: modules
09:45
PackageLoader now provides Qualifier with information about available external modules. check-in: c20bd81f06 user: robin.hansen tags: modules
2021-03-27
11:07
PackageLoader now attempts to parse and qualify first read module. Fails because loading dependant m... check-in: 19fdcbebbe user: robin.hansen tags: modules
2021-03-23
10:01
PackageLoader now tries to read first exposed module of root project. check-in: ca528df21c user: robin.hansen tags: modules
2021-03-21
10:56
Alter PackageLoader to return qualified AST when complete. Test in place. Implementation missing. check-in: 469970adbe user: robin.hansen tags: modules
2021-03-14
10:14
Only load highest versioned packages, and don't load packages which aren't actual dependencies. check-in: 4b3906674f user: robin.hansen tags: modules
2021-02-28
11:39
Add tests to check that only relevant packages are resolved. Currently fails. check-in: a49b84525d user: robin.hansen tags: modules
2021-02-27
15:58
Strip .play suffix from files before trying to convert to a ModuleName. check-in: 03c71127f3 user: robin.hansen tags: modules
15:35
PackageLoader now resolves the modules of each package. check-in: 6092e67f02 user: robin.hansen tags: modules
2021-02-25
14:55
Refactor model of PackageLoader. check-in: 3485ad3ca9 user: robin.hansen tags: modules
2021-02-21
10:51
Implement function to check compatibility between semver versions. check-in: eb5381534d user: robin.hansen tags: modules
2021-02-19
16:29
PackageLoader now supports reading in all relevant play.json files. check-in: 1285a94244 user: robin.hansen tags: modules
2021-02-15
09:38
Refactor code to improve readability. Also validate key entries of dependencies field in play.json. check-in: b5d7173dee user: robin.hansen tags: modules
2021-02-14
11:47
Add json decoder for PackageMetadata. Missing validation of key values in dependencies field, and sh... check-in: 38d406f888 user: robin.hansen tags: modules
10:59
SemanticVersion now returns descriptive error messages. check-in: 635fab0eeb user: robin.hansen tags: modules
10:43
On second thought, better be strict with semantic versioning. check-in: 28d1fb8fd8 user: robin.hansen tags: modules
2021-02-13
10:20
Implement conversion from String to ModuleName. check-in: ddeb331151 user: robin.hansen tags: modules
07:45
Implement conversion from String to PackagePath. check-in: a1c159f148 user: robin.hansen tags: modules
2021-02-12
13:16
Implement conversion from String to SemanticVersion. check-in: d66b3a6dad user: robin.hansen tags: modules
12:56
Factor out test helper functions. check-in: 8dca27fd4f user: robin.hansen tags: modules
12:21
Implemented conversion from String to opaque PackageName type. check-in: b410ba3fed user: robin.hansen tags: modules
09:19
Merge new test script names from trunk. check-in: 4a3f3a82db user: robin.hansen tags: modules
08:40
Add stubbed modules for upcomming PackageLoader feature which loads, parses and qualifies an entire ... check-in: 4ebb2687f0 user: robin.hansen tags: modules
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:32
Simplify tests by automating ctor and getter/setter boilerplate. check-in: e9d8932285 user: robin.hansen tags: trunk
2020-11-19
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