Goose: Timeline

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

2 check-ins using file bs/builtins/types/runtime/basic.cpp version 5f92e29736

2021-03-04
23:22		Improved diagnostics rendering a little check-in: 3ca76452a1 user: achavasse tags: trunk
21:47		Refactored and simplified the way integer and string constants are handled: we no longer try to resolve them during typechecking, this breaks when parametric types are involved and also it makes no sense, typechecking is about types, not values Fixed multiple places where locationIds weren't propagated Verifier: variable assignments now verify the destination variable type's refinement conditions Fixed a test where the above change detected a bug, kept the bugged version as a new verification failure test check-in: 3cf6ab5249 user: achavasse tags: trunk