diff options
| author | martinw | 2000-03-17 16:26:27 +0000 |
|---|---|---|
| committer | martinw | 2000-03-17 16:26:27 +0000 |
| commit | 0625e34e9df9f236381a5fde02f63beabc5e8ec0 (patch) | |
| tree | 3232031a5a649b6e0b5edb36c20e7ec6e46303df /frontend/checktypes.icl | |
| parent | use error code from parsing dcl files (diff) | |
- making array patterns strict (strict lets were not properly handled
in "convertCasesOfFunctionsIntoPatterns" and "collectVariables")
- new switch "SwitchUniquenessBug" in module checksupport
- several bugfixes
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@114 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 9 |
1 files changed, 2 insertions, 7 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index a94f7fa..ffa1f7c 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -1021,13 +1021,8 @@ where TA_Var var -> (TA_RootVar var, error) _ - -> (TA_RootVar undef, error) -/* = case root_attr of - TA_Var var - -> (TA_RootVar var, error) - _ - -> (root_attr, error) -*/ check_attribute attr root_attr name error + -> (SwitchUniquenessBug (TA_RootVar (abort "SwitchUniquenessBug is on")) root_attr, error) + check_attribute attr root_attr name error = (TA_Multi, checkError name "specified attribute not allowed" error) retrieveKinds :: ![ATypeVar] *TypeVarHeap -> (![TypeKind], !*TypeVarHeap) |