summaryrefslogtreecommitdiff
path: root/test/files/run/toolbox_typecheck_macrosdisabled.check
Commit message (Expand)AuthorAgeFilesLines
* repairs the tests after the refactoring spreeEugene Burmako2012-06-081-3/+35
* adds erasures to concrete type tagsEugene Burmako2012-04-171-1/+1
* GroundTypeTag => ConcreteTypeTagEugene Burmako2012-04-121-1/+1
* Next generation of macrosEugene Burmako2012-04-121-0/+5