diff options
| author | johnvg | 2012-08-07 09:51:51 +0000 |
|---|---|---|
| committer | johnvg | 2012-08-07 09:51:51 +0000 |
| commit | 2506184b0df69d386f08ae94d28a0c3caa409695 (patch) | |
| tree | 6f75492191fecb0a9321c78779136dc13826bb37 /backendC/CleanCompilerSources/overloading.h | |
| parent | move computation of n_args_before_producer and n_producer_args in function ge... (diff) | |
fix fusion of a function that is both the consumer and the producer.
before copying the producer, the type variables are modified
to use the type of the producer when updating the types in cases and lets,
otherwise a polymorphic type may be specialized, possibly causing a type error later
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2134 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/overloading.h')
0 files changed, 0 insertions, 0 deletions