Generalized strictness.
Added regression test for generalized strictness.
Hope this fixes it.
One more try
testgen: minor: fixed a NPE
testgen: improved doc for option --concrete-sort
minor: added TODO comment for my experimental backend --unflatten-java
fixed a typo in kil.Attribute#BUILTIN_KEY
testgen: minor: avoided using hard-coded attribute name
testgen: implemented methods for computing common subsorts
testgen: taking into consideration that even the KLabel of a KItem is a constructor, the sort of this KItem may not be precise because the sorts of the free variables inside may become more specific
Added explanation about generalized strictness.
Minor change in symbolic backend
updated FUN slightly, and added type inference exercise
added README for lesson_9.5 of types
testgen: fixed a NPE
Java backend: fixed a bug introduced by me, namely inconsistent return values of SymbolicConstraint.Equality#hashCode()
testgen: minor: printed function rules for debugging purpose as well
Java backend: added TODO comment for handling attribute [owise] when applying rules for user-defined functions
minor: revised comments