diff options
| author | Alan Zimmerman <alan.zimm@gmail.com> | 2021-03-15 20:40:09 +0000 |
|---|---|---|
| committer | Alan Zimmerman <alan.zimm@gmail.com> | 2021-03-15 20:40:09 +0000 |
| commit | 3eb51fa32aaefe80bf2b6731dae2a2b26aba9e74 (patch) | |
| tree | 6aa537e9013f2b8ae1449c928887276cdd03dc44 /doc | |
| parent | 6173eeaa1608a4325ecd005feec05d3ab4e9323f (diff) | |
Change some type family test results.
It is not clear to me whether the original was printing
incorrectly (since we did not have the TopLevel flag before now), or
if this behaviour is expected.
For the time being I am assuming the former.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions