Am 10.03.2015 um 19:39 schrieb Aaron Meurer:
> I suppose it must be there to distinguish subtypes from other subtypes
> of BasicMeta that aren't BasicType.
No other subtypes exist.
> Either that or it used to have
> methods but they were deleted, and the class was not deleted. I would
> look into the git history of it using git blame.
It was created by Ondrej in ddd0349 (2007-09-23), as an empty superclass
to MetaBasicMeths.
It wasn't used as a superclass to anything else, not even then (but
MetaBasicMeths got renamed to BasicMeta along the way).
Maybe he anticipated that BasicType would acquire methods over time.
I'll try and see what happens if I remove it and change all references
to BasicMeta.