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