diff options
| author | johnvg | 2014-02-21 15:39:21 +0000 |
|---|---|---|
| committer | johnvg | 2014-02-21 15:39:21 +0000 |
| commit | 271c8bb14072dc47081be336c043cbf8d504ed45 (patch) | |
| tree | 6c0ebcf4813d7be9ef6421502ba8a237e33b9808 /frontend/mergecases.icl | |
| parent | in derived dynamic types, add uniqueness to algebraic types that are always u... (diff) | |
if a constraint of a class without members is reduced, and all classes in the constraint of that class appear
in the reduced constraints for a variable, add a constraint for the original class for that variable
(this causes removal of the other constraints later), to prevent functions with too many constraints
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2357 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/mergecases.icl')
0 files changed, 0 insertions, 0 deletions