diff options
Diffstat (limited to 'frontend/analunitypes.icl')
| -rw-r--r-- | frontend/analunitypes.icl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontend/analunitypes.icl b/frontend/analunitypes.icl index 2cc104f..3105520 100644 --- a/frontend/analunitypes.icl +++ b/frontend/analunitypes.icl @@ -315,6 +315,8 @@ signClassOfType (arg_type --> res_type) sign use_top_sign group_nr ci scs signClassOfType (TFA vars type) sign use_top_sign group_nr ci scs = signClassOfType type sign use_top_sign group_nr ci scs +signClassOfType (TFAC vars type _) sign use_top_sign group_nr ci scs + = signClassOfType type sign use_top_sign group_nr ci scs signClassOfType type _ _ _ _ scs = (BottomSignClass, BottomSignClass, scs) @@ -580,6 +582,8 @@ where propClassOfType (TFA vars type) group_nr ci pcs = propClassOfType type group_nr ci pcs +propClassOfType (TFAC vars type _) group_nr ci pcs + = propClassOfType type group_nr ci pcs propClassOfType _ _ _ pcs = (NoPropClass, NoPropClass, pcs) |