diff options
| author | johnvg | 2011-04-13 15:50:59 +0000 |
|---|---|---|
| committer | johnvg | 2011-04-13 15:50:59 +0000 |
| commit | 2955d10a0d25fbce4614b2cc3e693baa06bc4e0a (patch) | |
| tree | 2b110e6ec49a6a6d37ca4facae4c0e45a344c612 /main | |
| parent | use a separate list of function and macro declarations (to have fewer differe... (diff) | |
commit more changes for:
fix type checking of existential type variables that are used by a dynamic expression,
but do not occur in the type of a dynamic pattern.
TempQDV is used for existential type variables in a dynamic pattern.
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1918 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions