Goose: Timeline

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

14 check-ins using file bs/builtins/types/localvar/typecheck.cpp version 112e35cf5e

2023-03-27
18:34		reworked value wrapping in intrinsics, unwrapping can now only happen for the returned value (for verification reasons) removed the _ConvertFuncArg extension point, replaced it with _ConvertFuncArgs that operates on all of the args (so that we can do cross argument things in the prelude, will be needed for lifetimes) check-in: f271454617 user: zlodo tags: trunk
2023-03-06
22:24		prelude: implemented UnwrapValue check-in: c550a4bc43 user: zlodo tags: trunk
2023-03-05
22:24		removed fmtlib, now use std::format vastly improved the overload resolution debugging tools prelude: started adding some extra error detection for small things that don't need to be builtin prelude: started working on implementing #for for tuples, some stuff needs to be addressed still fixed some type checking issue with wrapped args fixed superfluous nested lifetime scope in brace blocks (which caused redundant calls to some extension points) check-in: 4d4d76607a user: zlodo tags: trunk
2023-02-28
00:55		Intrinsic functions: no longer systematically wrap every argument. Instead, arguments that needs to be wrapped can be indicated by decorating their type with the WrappedArg type function. Fixed several bugs related to forwarding template vars ($$whatever) check-in: 9f242fb2ff user: zlodo tags: trunk
2023-02-20
17:54		Migrated to clang16/llvm16. Created a shitty layer on top of llvm to cope with losing the pointee types from llvm pointer types (which are now opaques). It was a huge pain in the ass. check-in: 0c646816e4 user: zlodo tags: trunk
2023-02-07
15:49		Removed the ToType extension point, go through typechecking instead for converting things such as tuple of types into types. This is more generic than the previous approach and will avoid some pitfalls in the future. check-in: 1b18849f5c user: zlodo tags: trunk
2023-01-30
19:33		Implemented the _IsTrivialInitialization extension point to optimize tuple initialization in the same way as assignments check-in: d70fa1ef12 user: zlodo tags: trunk
2023-01-29
20:48		Added the _IsTrivialAssignment extension point to indicate whether an assignment between two given types is trivial or absolutely needs to be resolved to an operator_assign invocation Use the above to simplify tuple assignments when all the contained members have trivial assignments check-in: 7751ce994d user: zlodo tags: trunk
2023-01-24
18:02		Refactored tuple assignment operator and fixed a case where it would crash Fixed incorrect CIR code generation involving constant tuples containing computed values check-in: b47efa975d user: zlodo tags: trunk
2023-01-10
22:29		ToString: don't print addresses of void pointers anymore check-in: c8f5e99651 user: zlodo tags: trunk
22:01		Implemented textual dump of a function's CIR to more easily inspect it and implement some code generation tests at the CIR level check-in: 4edae7e1a3 user: zlodo tags: trunk
2023-01-09
19:06		Fixed bad hashing implementation of terms containing a locationId that caused some absurd crash in the verifier check-in: 8fd3b7a078 user: zlodo tags: trunk
2023-01-06
19:13		Remove redundant calls to the ToType extension point when compiling function bodies check-in: 78a358141d user: zlodo tags: trunk
2023-01-05
19:44		Fixed passing tuple by value to functions, which involved properly handling type checking of constant tuples containing computed data and some codegen bugs check-in: 9b8306c3af user: zlodo tags: trunk

Goose Timeline

14 check-ins using file bs/builtins/types/localvar/typecheck.cpp version 112e35cf5e