diff options
| author | johnvg | 2002-02-06 15:21:42 +0000 |
|---|---|---|
| committer | johnvg | 2002-02-06 15:21:42 +0000 |
| commit | bafccb48f65b4444450d0edc12f5977848a0eb38 (patch) | |
| tree | 671d32de459af5e9e7410450f5b64277ff96eda6 | |
| parent | store strictness annotations in SymbolType instead of AType (diff) | |
fix bug when using type definition:
:: * I *a = { f :: !a }
and:
I *{String}
in function type
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1003 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
| -rw-r--r-- | frontend/checktypes.icl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index 7d85b2f..cf8fd38 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -520,7 +520,7 @@ new_demanded_attribute DAK_Ignore _ new_demanded_attribute _ TA_Unique = DAK_Unique new_demanded_attribute dem_attr_kind _ - = dem_attr_kind + = DAK_None /* dem_attr_kind */ checkOpenAType :: !Index !Int !DemandedAttributeKind !AType !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState) -> (!AType, !(!u:OpenTypeSymbols, !*OpenTypeInfo, !*CheckState)) |