aboutsummaryrefslogtreecommitdiff
path: root/frontend/check.dcl
diff options
context:
space:
mode:
authordiederik2002-08-01 12:49:54 +0000
committerdiederik2002-08-01 12:49:54 +0000
commit1ca381fc66c96c124ea66b52a65744c5da41dde6 (patch)
tree9f28e5ef53d489946f9eac920fc746787bed78d2 /frontend/check.dcl
parentinline trivial functions and optionally constant functions (diff)
fix curried constructor applications
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1184 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/check.dcl')
0 files changed, 0 insertions, 0 deletions