aboutsummaryrefslogtreecommitdiff
path: root/frontend/trans.dcl
diff options
context:
space:
mode:
authorjohnvg2009-07-28 13:04:44 +0000
committerjohnvg2009-07-28 13:04:44 +0000
commit8a0e5cdb04ac97379204cbd556f53bfb7de15b71 (patch)
tree7b0e09298e3348701cdec7bce890f0770b87d84c /frontend/trans.dcl
parentmark strict vars with VI_StrictLetVar, transform case of such a var (diff)
fix uniqueness type bug (not detected because of bug in refmark)
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1746 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/trans.dcl')
0 files changed, 0 insertions, 0 deletions