diff --git a/test/test_acceptance.ml b/test/test_acceptance.ml index b697342..de921cc 100644 --- a/test/test_acceptance.ml +++ b/test/test_acceptance.ml @@ -2998,7 +2998,12 @@ level "1" "programs/dyn-basic.flan" dyn_basic_out; outputs ~opt:"-O0" "dyn: an unannotated defn at two types, -O0" "programs/dyn-basic.flan" dyn_basic_out; - let dyn_vec_out = "4\n[1 2.5 three true]\n1 2.5 three true \n" in + (* The rendering is the typed printer's: a leading space after the open + bracket and strings quoted inside a collection but bare alone — + (println [\"a\"]) and (println \"a\") already disagree exactly this way, + so the dyn printer disagreeing would have been the bug. The stub this + expectation was first written against printed neither. *) + let dyn_vec_out = "4\n[ 1 2.5 \"three\" true]\n1 2.5 three true \n" in outputs "dyn: a heterogeneous vector" "programs/dyn-vec.flan" dyn_vec_out; outputs ~opt:"-O0" "dyn: a heterogeneous vector, -O0" @@ -3022,7 +3027,7 @@ level "1" in if code <> 134 || not (contains text want) - || not (contains text "required to be an i64") + || not (contains text "an int was wanted") then begin incr failures; Printf.printf