Goose  Timeline

• Fixed execution of void intrinsic function causing a bogus error message
• Fixed the intrinsic operator

• template functions can now be intrinsic
• implemented the "intrinsic" operator to create intrinsic functions
• some code cleanup

• Added extension points to transform parameter types and function arguments
• Fixed the incorrect type predicate type checking rule which should just preserve the argument's predicates as is
• Fixed verification of return intructions that were checking the returned value's predicates, instead of the return type predicates (which happened to work anyway until the above fix)

• Type predicates' identity and placeholder are now created immediately, rather than when parsing their content
• Added missing type predicates lazy parsing during typechecking
• Fixed a type checking rule falling back to unification, which is no longer needed

• Instead of falling back to unification as the default type checking rule, implemented default type checking rules similar to the default unification ones
• Fixed a nasty generator bug
• Fixed reference type parsing not generating a location
• Fixed where operator not generating a location that spanned both the types and the predicates
• Various fixes to accomodate random api changes in the latest llvm
• Updates fmt and catch2 versions

• Removed the Conversion step, it could all be done using PostProcessing callback, there were just TypeChecking rules missing to unwrap the callbacks...
• Fixed some ill defined reference type checking rules
• Runtime integers no longer have a default initializer of 0. This isn't that useful considering that 0 may not be valid depending on the refinement conditions applied to the type

• Added a Conversion step after typechecking, to take care of conversions that aren't practical to do during typechecking itself.
• Added back a proper ct_int to rt_int conversion step that diagnoses out of range integer constants

• 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

Then fixed a MILLION horrible problems caused by all that. Now almost everything works again. *sobs* check-in: 9b058524b4 user: achavasse tags: trunk