| Age | Commit message (Collapse) | Author |
|---|
|
A smallish selection of already existing tests, run with
the indentation option.
|
|
|
|
t_from_form() sometimes returned a more general type than it should
have done due to a bug in from_form_loop(): it stopped when the limit
was exceeded, which could mean a collapsed type. Returning a type with
smaller depth should fix this.
is_specialization() now handles opaque types before unions, which
should fix another problem.
The bugs reported by Kostis.
|
|
The test 'proper' takes some time.
|
|
Replace the undocumented option 'no_unknown' with the documented
option 'unknown'.
|
|
Not (yet) documented.
|
|
|
