From 834a8faa123f168e8baea772b06ebce2874ff431 Mon Sep 17 00:00:00 2001 From: phaller Date: Sun, 12 Aug 2012 17:17:54 +0200 Subject: Simplify the adaptation of types of return expressions Add `adaptTypeOfReturn` hook to `AnnotationCheckers`. Move adaptation of types of return expressions from `addAnnotations` to `typedReturn` via `adaptTypeOfReturn` hook. This resolves an inconsistency where previously types could have a plus marker without additional CPS annotations. This also adds additional test cases. --- test/files/continuations-run/t5314.check | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'test/files/continuations-run/t5314.check') diff --git a/test/files/continuations-run/t5314.check b/test/files/continuations-run/t5314.check index 4951e7caae..4b35d8e6d0 100644 --- a/test/files/continuations-run/t5314.check +++ b/test/files/continuations-run/t5314.check @@ -1,3 +1,7 @@ +7 +7 +7 +8 8 hi 8 -- cgit v1.2.3