diff options
author | 2014-09-03 11:40:27 +0200 | |
---|---|---|
committer | 2014-09-04 10:25:54 +0200 | |
commit | b18b40878f071b6c7d67d1a2d031370f7a498d0b (patch) | |
tree | 595398248a70dd2607c983c5dd3eb8913614b084 /config | |
parent | ac2fdfb222083faa9c3893194e020bed38555ddb (diff) |
Print [Variant] types with the keyword [Variant].
Involves changing the [mind_finite] field in the kernel from a bool to the trivalued type [Decl_kinds.recursivity_kind]. This is why so many files are (unfortunately) affected. It would not be very surprising if some bug was introduced.
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions