Goose  Timeline

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

18 check-ins using file bs/builtins/types/localvar/localvar.cpp version 4fa4298e9b

2021-09-17
23:04
g0api, builtins: got rid of TermWrapper and ValueWrapper, use specializations of TypeWrapper instead to allow for more generic code check-in: 4a571387ed user: achavasse tags: trunk
20:43
g0 api: more work on the CIR api check-in: a7c05af907 user: achavasse tags: trunk
19:15
g0 api:
  • extended the generic TypeWrapper to handle pointers to types that aren't part of the Term variant
  • more work on the CIR api
check-in: ab9c71d048 user: achavasse tags: trunk
2021-09-16
21:31
g0 api: started implementing the CIR api check-in: 8dd49b0d89 user: achavasse tags: trunk
21:01
g0 api: implemented Value api check-in: 5c68efeb07 user: achavasse tags: trunk
20:05
g0 api: the EIR Terms are now completely covered check-in: 78da84d2af user: achavasse tags: trunk
19:00
More work on the g0 EIR api check-in: 967d3ba3d7 user: achavasse tags: trunk
2021-09-15
22:15
Fixed the generic CTType and RTType patterns, and removed the super generic assignment operator overload that would accept literally any type check-in: ea7c04df2f user: achavasse tags: trunk
21:24
  • VecOfLength() will now match vectors of compatible length, taking repetition terms into account
  • Vector unification and typechecking rules now handle vectors of variable lengths
check-in: a4f1ada98c user: achavasse tags: trunk
01:02
More work on the extensibility api check-in: 29872be1f2 user: achavasse tags: trunk
00:11
Added a test for, and fixed tctrie variable length vector type checking check-in: c1b565fdda user: achavasse tags: trunk
2021-09-13
21:52
  • Implemented a generic wrapper for the simple native types that can be embedded in Terms
  • Added more specific overloads for the assignment operator that should work only on builtin types, so that library and user defined types will be able to choose whether they're copyable
  • The EIR representation for all builtin runtime types are now prefixed with "rt_type" to more easily write generic matching rules against them
  • EIR: Fixed long standing bugs in Enumerate and Decompose that surfaced because of the above
  • Miscellaneous code cleaning
check-in: 51f288ba2a user: achavasse tags: trunk
2021-09-12
23:52
Repo: syntax color theme change check-in: b4fe430e44 user: achavasse tags: trunk
23:20
Repo: more syntax highlighting workarounds check-in: 6c481d18a4 user: achavasse tags: trunk
23:18
Repo: syntax highlighting issue workaround check-in: 4b28030b9a user: achavasse tags: trunk
23:09
Updated repo's syntax highlighting check-in: 951c8fed08 user: achavasse tags: trunk
21:38
  • Fixed TermRef
  • Began implementing the api to manipulate the EIR
check-in: 13e21deeef user: achavasse tags: trunk
16:48
  • Started work on extensibility api
  • some code cleanup
check-in: 55beba911a user: achavasse tags: trunk