Play

History of src/Play/Qualifier.elm of f4459e72ea605a93
Login

History of the file that is called src/Play/Qualifier.elm at checkin f4459e72ea605a93

2021-04-11
09:20
Union members of custom types were not properly qualified. file: [9fd8ef35a0] check-in: [a45999dbcb] user: robin.hansen, branch: stdlib, size: 23343 [annotate] [blame] [check-ins using] [diff]
2021-04-10
09:26
Remove optimization which caused a crash if a quotation referenced a yet-to-be qualified word. file: [f35289705f] check-in: [49cc39c5d1] user: robin.hansen, branch: stdlib, size: 23334 [annotate] [blame] [check-ins using] [diff]
2021-03-21
10:56
Alter PackageLoader to return qualified AST when complete. Test in place. Implementation missing. file: [d1f74ef9ef] check-in: [469970adbe] user: robin.hansen, branch: modules, size: 24100 [annotate] [blame] [check-ins using] [diff]
2021-02-11
12:56
Can now resolve external word references. file: [7bf41a8a0b] check-in: [4ed17683cd] user: robin.hansen, branch: modules, size: 23986 [annotate] [blame] [check-ins using] [diff]
11:50
On second thought, externalModules should be a module => package dict. file: [6228d648c3] check-in: [9a52bbbd5e] user: robin.hansen, branch: modules, size: 23210 [annotate] [blame] [check-ins using] [diff]
09:27
Require a list of external modules, so qualifier can validate external module references. file: [ab2dcebd3f] check-in: [18c7d0bfa4] user: robin.hansen, branch: modules, size: 23203 [annotate] [blame] [check-ins using] [diff]
2021-02-10
13:44
Can now resolve package references in multiword definitions. file: [306edcadda] check-in: [f4459e72ea] user: robin.hansen, branch: modules, size: 23167 [annotate] [blame] [check-ins using] [diff]
11:03
Can now resolve package references in simple word definitions. file: [0057c74a3e] check-in: [6416ab78b9] user: robin.hansen, branch: modules, size: 22848 [annotate] [blame] [check-ins using] [diff]
2021-02-09
11:27
Turn tuple into record in preperation of registering words which requires loading additional modules. file: [98de1e5664] check-in: [7eff2f2dbd] user: robin.hansen, branch: modules, size: 21333 [annotate] [blame] [check-ins using] [diff]
09:40
Prepare data structures and add test for returning modules to load from qualifier step. file: [caaf815568] check-in: [a7c9bebc32] user: robin.hansen, branch: modules, size: 21294 [annotate] [blame] [check-ins using] [diff]
2021-02-07
12:02
Qualify member types of structs. file: [661a5ac53d] check-in: [e503e3ec36] user: robin.hansen, branch: modules, size: 21007 [annotate] [blame] [check-ins using] [diff]
11:41
Implement name mangling. file: [6fc02dba27] check-in: [61c06857ee] user: robin.hansen, branch: modules, size: 20323 [annotate] [blame] [check-ins using] [diff]
2021-02-05
12:52
Change how quote names are generated. file: [a9af1a5f84] check-in: [8c27f5a80c] user: robin.hansen, branch: modules, size: 17370 [annotate] [blame] [check-ins using] [diff]
11:33
Prepare for name mangling in qualifier step. file: [8e24e7430a] check-in: [7b1a6816a6] user: robin.hansen, branch: modules, size: 17187 [annotate] [blame] [check-ins using] [diff]
2021-02-03
09:10
Parser now supports relative and absolut module references. file: [827f443bbe] check-in: [f477fd7e39] user: robin.hansen, branch: modules, size: 17050 [annotate] [blame] [check-ins using] [diff]
2020-09-29
04:57
Fix qualifier to allow generic cases in when branches. file: [51e4fe35b3] check-in: [38599bfec7] user: robin.hansen, branch: multiwords-generic-case, size: 16715 [annotate] [blame] [check-ins using] [diff]
2020-09-19
16:50
Add human readable description of qualification errors. file: [9f1f3cfd78] check-in: [753e779840] user: robin.hansen, branch: refactor-for-better-error-handling, size: 16606 [annotate] [blame] [check-ins using] [diff]
15:50
Moved problem types into their own modules. file: [5411d9a28f] check-in: [0a1f3aa103] user: robin.hansen, branch: refactor-for-better-error-handling, size: 16561 [annotate] [blame] [check-ins using] [diff]
2020-09-10
04:21
Add tests to see if qualifier catches unknown word and type referenes. It didnt catch the latter case, which has now been fixed. file: [ea18d7d934] check-in: [e08d7e3e14] user: robin.hansen, branch: refactor-for-better-error-handling, size: 16754 [annotate] [blame] [check-ins using] [diff]
2020-09-09
04:56
Qualifier now reports detailed errors. Missing tests. file: [c8ed52322d] check-in: [77a26eedbd] user: robin.hansen, branch: refactor-for-better-error-handling, size: 15291 [annotate] [blame] [check-ins using] [diff]
2020-09-07
04:56
Update qualifier to retain types from parser step. This broke all the tests. file: [c8635f173c] check-in: [5401959451] user: robin.hansen, branch: refactor-for-better-error-handling, size: 14634 [annotate] [blame] [check-ins using] [diff]
04:19
Qualifier now resolves unions, simplifying the type checker code. file: [8ecfec30de] check-in: [fb186e507c] user: robin.hansen, branch: refactor-for-better-error-handling, size: 14264 [annotate] [blame] [check-ins using] [diff]
2020-09-04
04:52
Fix a bug regarding quotes within quotes. file: [13b71dcd0e] check-in: [3951afaeae] user: robin.hansen, branch: refactor-for-better-error-handling, size: 11926 [annotate] [blame] [check-ins using] [diff]
04:30
Do not qualify generic variables file: [a0d1462845] check-in: [735a332963] user: robin.hansen, branch: refactor-for-better-error-handling, size: 11993 [annotate] [blame] [check-ins using] [diff]
04:27
Do not rely on a dictionary for naming quotes. file: [297503f813] check-in: [cb86c1e096] user: robin.hansen, branch: refactor-for-better-error-handling, size: 12596 [annotate] [blame] [check-ins using] [diff]
2020-08-28
19:38
Parser now keeps track of where different elements reside in the source code. file: [a8a5d43905] check-in: [25588c1ea7] user: robin.hansen, branch: refactor-for-better-error-handling, size: 12472 [annotate] [blame] [check-ins using] [diff]
2020-08-16
11:49
Differantiate type signatures provided by user from those provided by the parser. Can later be used by type checker to skip type checking words we know are well-typed. file: [180346b1a6] check-in: [6dd698867f] user: robin.hansen, branch: refactor-for-better-error-handling, size: 12456 [annotate] [blame] [check-ins using] [diff]
2020-08-03
13:54
Fix remaining issues with generic types and codegen. file: [86fc404065] check-in: [5779464d2f] user: robin.hansen, branch: generic-types-and-unions, size: 12400 [annotate] [blame] [check-ins using] [diff]
2020-07-23
18:37
Carry generic information over from parser through qualifier stage. file: [ea6edcf7ba] check-in: [9be98f1be2] user: robin.hansen, branch: generic-types-and-unions, size: 12106 [annotate] [blame] [check-ins using] [diff]
2020-06-23
15:55
New syntax to define unions with generic members. file: [0c2c1d83b0] check-in: [61fb8c7dc4] user: robin.hansen, branch: generic-types-and-unions, size: 12038 [annotate] [blame] [check-ins using] [diff]
2020-05-31
12:31
New syntax to define a custom type with generic members. file: [908bf35cfb] check-in: [41d44e9128] user: robin.hansen, branch: generic-types-and-unions, size: 12036 [annotate] [blame] [check-ins using] [diff]
2020-05-21
08:19
Qualifier now understands pattern matching. file: [1db6c0db5a] check-in: [1e8f2926e7] user: robin.hansen, branch: pattern-matching, size: 12034 [annotate] [blame] [check-ins using] [diff]
2020-05-16
12:22
Necessary refactoring of Parser module to support pattern matching. file: [d81e9694d5] check-in: [51f77ba443] user: robin.hansen, branch: pattern-matching, size: 9206 [annotate] [blame] [check-ins using] [diff]
2020-05-11
13:58
Do not generate a new function to represent quotations of exactly one word. Simply refer to that word instead. file: [0818fb4226] check-in: [eb2d06fe21] user: robin.hansen, branch: quotations, size: 8889 [annotate] [blame] [check-ins using] [diff]
13:42
Only store actual quotations in module table. file: [ea794e71b5] check-in: [5ca3cb6a2d] user: robin.hansen, branch: quotations, size: 8238 [annotate] [blame] [check-ins using] [diff]
2020-05-01
13:21
Qualified recognizes ! operator, and lifts quotations into proper word definitions. file: [eea6fafa87] check-in: [ac48380524] user: robin.hansen, branch: quotations, size: 8157 [annotate] [blame] [check-ins using] [diff]
11:47
Parser now understands quotation types and actual quotations. file: [008e4784fe] check-in: [848ff138e0] user: robin.hansen, branch: quotations, size: 5718 [annotate] [blame] [check-ins using] [diff]
2020-04-15
17:28
Qualifier now understands unions and multifunctions. file: [45f8a7a1f1] check-in: [de94b48dd2] user: robin.hansen, branch: unions, size: 5610 [annotate] [blame] [check-ins using] [diff]
2020-04-14
17:09
Parser now understands union type definitions. file: [b95e559676] check-in: [563df19e0c] user: robin.hansen, branch: trunk, size: 4378 [annotate] [blame] [check-ins using] [diff]
2020-04-08
14:21
Qualifier now recognizes new builtins, and qualifies generic type names. file: [a4d7e116e4] check-in: [a2c9e26444] user: robin.hansen, branch: stack-manipulation, size: 4280 [annotate] [blame] [check-ins using] [diff]
2020-04-07
10:02
Move builtin definitions into seperate module. file: [5ac68b3eec] check-in: [34c25f5c25] user: robin.hansen, branch: stack-manipulation, size: 3413 [annotate] [blame] [check-ins using] [diff]
2020-04-04
11:16
Type check members of type. file: [d38ce01e0f] check-in: [f3d042d1c2] user: robin.hansen, branch: user-defined-types, size: 3358 [annotate] [blame] [check-ins using] [diff]
2020-04-03
14:00
Add failing test that checks for the apparence of getters and setters. file: [b17bcc5218] check-in: [e8ebafc46f] user: robin.hansen, branch: user-defined-types, size: 3079 [annotate] [blame] [check-ins using] [diff]
13:41
Parser now understands types with members file: [1da528c55c] check-in: [8468934107] user: robin.hansen, branch: user-defined-types, size: 3046 [annotate] [blame] [check-ins using] [diff]
2020-04-01
13:45
Type checker now understands record definitions. file: [721887e0cc] check-in: [4682a975d2] user: robin.hansen, branch: user-defined-types, size: 3030 [annotate] [blame] [check-ins using] [diff]
2020-03-28
11:31
Qualifier now understands user defined types. file: [88f8fd0636] check-in: [b0f6764c38] user: robin.hansen, branch: user-defined-types, size: 2975 [annotate] [blame] [check-ins using] [diff]
2020-03-27
17:28
Parser now understands type definitions. This breaks later stages. file: [6caeeae5b6] check-in: [54b8e6af7a] user: robin.hansen, branch: user-defined-types, size: 2051 [annotate] [blame] [check-ins using] [diff]
2020-03-26
05:44
Added dedicated metadata type. file: [b0aa805422] check-in: [dac595c688] user: robin.hansen, branch: trunk, size: 1992 [annotate] [blame] [check-ins using] [diff]
05:16
Remove local function and replace with function defined in random-extra. file: [26a74dc140] check-in: [fc5647a112] user: robin.hansen, branch: trunk, size: 1971 [annotate] [blame] [check-ins using] [diff]
2020-03-21
08:09
Implement simple qualifier. file: [6369ac16b6] check-in: [8893ab05d5] user: robin.hansen, branch: trunk, size: 2375 [annotate] [blame] [check-ins using] [diff]
2020-02-21
17:52
Added: Implemented a simple qualifier, which makes sure each reference is valid. file: [3d564d4075] check-in: [3ca784b223] user: robin.hansen, branch: trunk, size: 2867 [annotate] [blame] [check-ins using]