diff options
| author | johnvg | 2002-07-17 12:59:58 +0000 |
|---|---|---|
| committer | johnvg | 2002-07-17 12:59:58 +0000 |
| commit | bdd5fc638acd15ba8299832fdcc9a9b759e56de6 (patch) | |
| tree | 9893f9f5901cc95a32736f9935eaa9cc584a66cd /frontend/checktypes.icl | |
| parent | add abstract synonym types (diff) | |
add abstract synonym types
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1153 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'frontend/checktypes.icl')
| -rw-r--r-- | frontend/checktypes.icl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontend/checktypes.icl b/frontend/checktypes.icl index f2a9ed7..9489e3d 100644 --- a/frontend/checktypes.icl +++ b/frontend/checktypes.icl @@ -272,6 +272,9 @@ where check_rhs_of_TypeDef {td_rhs = SynType type} _ cti ts_ti_cs # (type, type_attr, ts_ti_cs) = bindTypes cti type ts_ti_cs = (SynType type, ts_ti_cs) + check_rhs_of_TypeDef {td_rhs = AbstractSynType properties type} _ cti ts_ti_cs + # (type, type_attr, ts_ti_cs) = bindTypes cti type ts_ti_cs + = (AbstractSynType properties type, ts_ti_cs) check_rhs_of_TypeDef {td_rhs} _ _ ts_ti_cs = (td_rhs, ts_ti_cs) |