Goose: Timeline

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

50 check-ins occurring around 2019-08-15 22:37:33.

2019-08-24
13:42		Factored out the common code of Compiler::execute(), ExecuteFile() and #CompileFileToFunction(). check-in: 0c5641877d user: achavasse tags: trunk
12:58		Removed unnecessary sema tests dependencies. check-in: 64fbc04864 user: achavasse tags: trunk
12:04		Vscode syntax highlighter tweak. check-in: 9969a33d0a user: achavasse tags: trunk
2019-08-23
20:18		Added a default InitializeVar() overload allowing any builtin type to be stored in a local variable during compile time. Remplaced a lot of hackish uses of using with local variables, now that they work. Changed several eager-evaluated bultin function to normal builtin functions, thanks to the above cleanup. Eager-evaluated builtin functions are all now prefixed with a # symbol to indicate their "compiler directive" nature and make it clearer that they are evaluated during the translation phase of the program, rather than its execution (even compile time execution). A few build and testing scripts fixes. check-in: 133303cbbf user: achavasse tags: trunk
2019-08-22
13:23		You have failed me for the last time, CMake. check-in: e38aee1ca0 user: achavasse tags: trunk
2019-08-21
13:38		Automatically compile the samples during the build. Added a --forcecolors to the front-end, since it can't detect whether colors are allowed when launched by Ninja. while: if the condition evaluates to constant true and there is no break statement in the body, use a different code generation strategy to avoid generating a continuation block which makes a return statement mandatory after the loop even though it's unreachable. check-in: 20d317a921 user: achavasse tags: trunk
2019-08-20
23:48		Removed an irrelevant comment. check-in: d2c3ec7961 user: achavasse tags: trunk
23:42		Fixed broken canBeExecuted() and canBeEagerlyEvaluated() computation of CFGs. Added some error messages when a function with compile-time only types contains calls to runtime functions. (to be improved and detected during parsing rather than codegen but serviceable for now) check-in: d5bc4daeca user: achavasse tags: trunk
20:00		Improved error messages. check-in: 25f4d2946d user: achavasse tags: trunk
16:15		Fixed error messages when compiling a file through the real frontend (this was broken again because this is a day ending in y) Implemented initialization, assigment, and equality comparison for ct_char. Implemented the cast builtin function. Its only overload currently allows to cast a ct_char into a ct_int. Implemented the PrintAsciiChar builtin function to write a single ascii character. check-in: c20ed5f1d3 user: achavasse tags: trunk
02:09		Implemented the ct_char type. Implemented character literals. Replaced the ridiculous hash based stringid implementation to just use string interning instead, which is something I remembered exists (duh) check-in: 932f41fd6a user: achavasse tags: trunk
2019-08-19
19:25		Factored escape sequence parsing out and made hex and octal literal also output correct UTF-8 sequences when used in strings. Fixed lexer errors never being displayed if they happen during the compile-time execution attempt, during which diagnostics are silenced. check-in: 6c118e666d user: achavasse tags: trunk
13:43		Fixed many issues with compile time versus run time function invocations. Improved some error messages. check-in: baf9721752 user: achavasse tags: trunk
2019-08-18
20:54		Added a function to adjust the compile time execution budget. lexer: Implemented escape sequences in string literals. check-in: bd4456308c user: achavasse tags: trunk
18:52		Implemented the break and the continue statements. Fixed cfg generation issues with nested control statements. Fixed unreachable code error messages not emitted in some cases. check-in: a504aedf6c user: achavasse tags: trunk
15:35		llr: added the break and continue terminators. check-in: b16e7c5933 user: achavasse tags: trunk
14:51		Fixed speculative compile-time execution causing compilation failures. Fixed compile time execution budget underflowing, leading to the compiler going into an infinte loop while compiling an infinite loop (erm...) Fixed more cases of missing propagation of poison states leading to spurious error messages. check-in: 9d81e31cfe user: achavasse tags: trunk
00:54		Implemented the while statement. Fixed a lexer issue that generated invalid locations at the very end of files. check-in: 459ee84d6b user: achavasse tags: trunk
2019-08-17
20:46		Implemented compound assignment operators. check-in: 35a5fd236f user: achavasse tags: trunk
14:49		Intrinsics automatically set their domain depending on the domain restrictions of the builtin types that they use. Declaring a local variable of a compile-time only type is now properly rejected during codegen. Improved error messages for operators and extension point invocations. check-in: 48a020a1fa user: achavasse tags: trunk
2019-08-16
23:52		Simplified ir::Vector, use plain std::vector to store the terms. immer::vector was pointless for that since we pretty much never actually take advantage of them being CoW in this case. check-in: f2ca82dfce user: achavasse tags: trunk
20:33		Implemented variable declarations with local type inference. check-in: 5a361c8b86 user: achavasse tags: trunk
14:48		Added a new type of template expression: TVec, along with a helper function to make it possible for parametric types to be constructed either normally or as a template expression when passed template parameters. Only used by LocalVar for now, parametric runtime types require some refactoring. check-in: 27fc719d74 user: achavasse tags: trunk
2019-08-15
22:58		Implemented InitializeLocalVar() for the bool, ct_int and ct_string types. check-in: 6d69e387ac user: achavasse tags: trunk
22:37		Fixed some bugs related to dropping values. Implemented local variable declarations with default initialization. codegen: Fixed allocas not properly grouped up at the start of the first basic block of functions. check-in: 3d8b581261 user: achavasse tags: trunk
01:54		Fixed a couple of typos. check-in: 1e6e7c928d user: achavasse tags: trunk
01:27		Implemented the DropValue() extension point, called when a previously pushed value is dropped without being used. ir, sema: the complexity of an ir expression is now directly counted by ir::Vector, so that we don't have to deal with it in every unification rule (and it was missing from most of them, which caused incorrect overload resolutions in some cases). check-in: 75bcd81044 user: achavasse tags: trunk
2019-08-14
15:21		Implemented the "InitializeLocalVar" extension point, with a builtin overload for integers. check-in: ffbb9276bb user: achavasse tags: trunk
02:35		Fixed a misnamed test. check-in: 5a4946c300 user: achavasse tags: trunk
02:30		Added an unification rule to deal with LocationIds. It honors poisoning and preserve the most recent location from the input values. Added a diagnostic context indicating the point at which a template function passed as a value has been instantiated. Added a trace mode that logs the diagnostics contexts, which can be activated by calling a compile time function. Added a few diagnostic messages tests. check-in: 980effe072 user: achavasse tags: trunk
00:04		Reorganized tests. The current set of tests have been moved to a "noprelude" subdirectory. check-in: 7e4e9d28d2 user: achavasse tags: trunk
2019-08-13
23:27		cleanup: got rid of more optional< Value >. check-in: 0288a69883 user: achavasse tags: trunk
22:43		Cleanup: got rid of optional< Value > in a lot of places that ought to always return a poison value if an error happens. check-in: 1feb20f522 user: achavasse tags: trunk
21:21		Completed the diagnostics renderer. Fixed a few places where value poisoning wasn't correctly propagated. check-in: ec58d0ff48 user: achavasse tags: trunk
14:12		First, incomplete draft of the diagnostics renderer. check-in: 904cb2d062 user: achavasse tags: trunk
12:14		diagnostics: simplify the code a bit by merging the LocationManager as static methods in Location. check-in: 17905bf47a user: achavasse tags: trunk
00:42		Diagnostics: use value poisoning to (hopefully) fix most cases of superfluous cascading error messages. check-in: 59ecc02baa user: achavasse tags: trunk
2019-08-12
20:15		Implemented a system to temporarily silence error outputs. Syntax errors now silence further errors encountered while parsing the same block and nested children blocks. All errors are also silenced while speculatively attempting to evaluate invocations at compilation time. check-in: 972c1d8b47 user: achavasse tags: trunk
16:07		Added local vscode workspace settings to link cmake-tools and cpp tools. check-in: b48fe61a11 user: achavasse tags: trunk
2019-08-11
18:59		Converted all the remaining error messages to use the diagnostics manager. check-in: 4a121b956a user: achavasse tags: trunk
17:18		Converted more error messages to the new system. Propagated value locations in some missing places. Added the location of template function calls as diagnostics context. check-in: b8548d8b24 user: achavasse tags: trunk
13:36		Ported more error messages to the DiagnosticsManager. check-in: 157221e014 user: achavasse tags: trunk
01:26		ir: created a new type for LocationId which is handled in a specific way so that two LocationIds are always considered equal by pattern matching. This prevent the values' locationIds stored in ir expressions from fucking up everything. propagate value locations in a few places: in the parser, when resolving invocations and when doing eager evaluation. There are probably a lot of other places still missing. converted all the builtin statements to use the DiagnosticsManager. check-in: 2efa23555d user: achavasse tags: trunk
2019-08-10
20:15		parser: custom parsing rules are now passed the location id of the value that resolved to them. check-in: e7fce87609 user: achavasse tags: trunk
19:33		Implemented a DiagnosticsContext class which can be used to push contextual informations that are printed when an error is emitted. check-in: ffa2c830dd user: achavasse tags: trunk
17:50		lexer: generate token locations. check-in: bd2fd03a33 user: achavasse tags: trunk
17:01		Implemented the very first draft of the DiagnosticsManager and converted the using statement to use it. check-in: 2eb6c1fa43 user: achavasse tags: trunk
14:26		Refactored the lexer (and the resolver) to output Terms associated with location Ids. check-in: c4abb2a3ed user: achavasse tags: trunk
12:56		diagnostics: implemented the new location class, and the location manager. check-in: 179de91f52 user: achavasse tags: trunk
2019-08-09
20:45		Added a location id and poison state to ir::Value. check-in: 1a6405a1c7 user: achavasse tags: trunk

Goose Timeline

50 check-ins occurring around 2019-08-15 22:37:33.