diff options
author | johnvg | 2005-01-21 16:16:20 +0000 |
---|---|---|
committer | johnvg | 2005-01-21 16:16:20 +0000 |
commit | dc26cbe6261acca5f7567317ceef8bf0c522948e (patch) | |
tree | 6cb6760612fb02af3024001ee69ed850af64d147 /backendC/CleanCompilerSources/instructions.c | |
parent | first print derived type, then specified type, in error message (diff) |
prevent compiler crash in function requirements_of_fields when
a record occurs in a pattern and this record (variable) is updated
with a field of another record (with fewer fields).
for example:
:: R1 = {v1::!Int};
:: R2 = {v2::!Int,n1::!Real};
f r=:{v1} = {r & v2=v1};
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1509 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/instructions.c')
0 files changed, 0 insertions, 0 deletions