diff options
| author | johnvg | 2014-04-03 13:05:51 +0000 |
|---|---|---|
| committer | johnvg | 2014-04-03 13:05:51 +0000 |
| commit | 5aa3493c0ae94e8f628583333df2b9d768befc62 (patch) | |
| tree | 9505d76888af4591439c2d53a02bee5caac2c7ce /main/Mac cli | |
| parent | fix the order of expansion of type synonyms in type synonyms, (diff) | |
use the index to recognize predefined types when printing, instead of the name of the types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2364 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main/Mac cli')
0 files changed, 0 insertions, 0 deletions