| 75 | | dispatchOldVal inv call = do |
| 76 | | inv' <- castVal inv |
| 77 | | rv <- evalExp $ App (_Var ('&':cast (mi_name call))) |
| 78 | | (Just $ Val inv') |
| 79 | | [Syn "|" [Val . VV . mkVal $ mi_arguments call]] |
| 80 | | fromVal rv |
| | 75 | dispatchOldVal inv call |
| | 76 | | meth == nullID = do |
| | 77 | typ <- evalValType =<< castVal inv |
| | 78 | (fromVal =<<) . evalExp $ _Var (':':'*':showType typ) |
| | 79 | | otherwise = do |
| | 80 | inv' <- castVal inv |
| | 81 | (fromVal =<<) . evalExp $ App |
| | 82 | (_Var ('&':cast meth)) |
| | 83 | (Just $ Val inv') |
| | 84 | [Syn "|" [Val . VV . mkVal $ mi_arguments call]] |
| | 85 | where |
| | 86 | meth = mi_name call |