diff options
| author | johnvg | 2007-12-21 12:33:15 +0000 |
|---|---|---|
| committer | johnvg | 2007-12-21 12:33:15 +0000 |
| commit | 7773f271275a52df7f1053a6adfd29d849611075 (patch) | |
| tree | 8df42ffbac600f7a5332e1c9f222f6c2175e4df7 /frontend/containers.dcl | |
| parent | don't mark strict and unboxed arrays as hyperstrict (causes incorrect (diff) | |
make function has_observing_type faster
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1695 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/containers.dcl')
0 files changed, 0 insertions, 0 deletions