aboutsummaryrefslogtreecommitdiff
path: root/main
diff options
context:
space:
mode:
authorjohnvg2003-10-16 09:28:40 +0000
committerjohnvg2003-10-16 09:28:40 +0000
commit853b4b19f2042cee0d6f5c549e5a78e25a9ee3a6 (patch)
tree33af4da3d61eba87b96222baa9859033d9438ab5 /main
parentadd extra attribute argument to BEFlatType and (diff)
add extra attribute argument to BEFlatType and
the is_boxed_record argument to BERecordType, use abstract type synonyms, remove BEUpdateKind, increment version number git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1392 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions