diff options
Diffstat (limited to 'frontend')
| -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)) |