diff options
author | ronny | 2001-11-01 15:30:29 +0000 |
---|---|---|
committer | ronny | 2001-11-01 15:30:29 +0000 |
commit | b1de57220ddc6025e3731f2579549866b058f134 (patch) | |
tree | b763d1a4973f25211579f296176278ce68e8eadd /coclmaindll | |
parent | added --dump-args and --restore-args options (diff) |
pass strictness information from C to Clean, print strict exported and all types in Clean
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@877 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'coclmaindll')
-rw-r--r-- | coclmaindll/backend.dll | bin | 288768 -> 289792 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/coclmaindll/backend.dll b/coclmaindll/backend.dll Binary files differindex 352a89c..5d6e544 100644 --- a/coclmaindll/backend.dll +++ b/coclmaindll/backend.dll |