Goose  Timeline

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

9 check-ins using file bs/builtins/types/runtime/basic.cpp version 2d6c4e2c94

2019-07-25
14:09
Have the llvm context be a static instance instead of being owned by the Env object, so that we can access it anywhere. check-in: c5a38bbeae user: achavasse tags: trunk
2019-07-24
20:15
func type: change the term encoding to include a void pointer that will be used to link to the function's llvm type, if any. check-in: 403761ee88 user: achavasse tags: trunk
11:41
codegen: revised mangling, allow opaque pointers to be mangled since they are going to appear in native type identities, even though we don't care about what they point to for that purpose. check-in: 86893043c5 user: achavasse tags: trunk
11:03
ir:
  • get rid of the ability for a term to contain a pointer to another term (not used anymore)
  • terms can contain void pointers (to be used to link the term representation of runtime types to their corresponding llvm types)
check-in: 8e5fcb6557 user: achavasse tags: trunk
2019-07-23
19:44
codegen: implemented LowerType. check-in: e42ae3d514 user: achavasse tags: trunk
19:02
Moved overloadset's implementation into sema, as we'll need to keep pointers to some of them (used as extension points) in env. check-in: f8f1fcd169 user: achavasse tags: trunk
13:44
execute: added an execution limit on calls and branch instructions to be able to time out of non-terminating compile time code. check-in: f0b3b44bbb user: achavasse tags: trunk
2019-07-22
15:36
builtins: added a function to test whether a type is a runtime type. check-in: 138905cf4e user: achavasse tags: trunk
14:50
builtins: runtime types: added a common prefix to easily be able to check if a type is a runtime type. check-in: 64244c6d0c user: achavasse tags: trunk