From a9c60a32cb35a22b55fddd5aaf2be41826f3711f Mon Sep 17 00:00:00 2001 From: "Tom Breton (Tehom)" Date: Thu, 19 May 2011 16:15:07 -0400 Subject: [PATCH] Accepted updated test db for type mismatch reports --- db | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/db b/db index e0014f9..d0fc28b 100644 --- a/db +++ b/db @@ -1,6 +1,12 @@ -(("dbid:266cbd1e-734c-4a81-bac6-e9d9a3424e79" correct-answer - (19924 30041 211051) - "Error: type mismatch: (#,do-destructure (1 dot #,integer?/o1)) \n") +(("dbid:80eedbc8-efd5-47c4-9c3b-d0da6c48f768" correct-answer + (19925 31258 104720) + "Error: type mismatch: (C-k_if_literal (1 #,boolean?/o1)) \n") + ("dbid:bf93cc1e-534c-4a1f-8762-3072e59dcb3c" correct-answer + (19925 31220 896791) + "Error: type mismatch: (,(unwrap #,unwrap) (1 #,applicative?/o1)) \n") + ("dbid:266cbd1e-734c-4a81-bac6-e9d9a3424e79" correct-answer + (19924 30041 211051) + "Error: type mismatch: (#,do-destructure (1 dot #,integer?/o1)) \n") ("dbid:a1bd1321-532e-4187-af64-278c009a7f97" correct-answer (19924 30036 859921) "Error: type mismatch: (#,do-destructure (2 too-many)) \n") @@ -19,12 +25,6 @@ ("dbid:ee168f5d-5d87-4792-9dba-0fd0ac7c14a4" correct-answer (19924 14848 809057) "Error: destructure: past end of output array \n") - ("dbid:80eedbc8-efd5-47c4-9c3b-d0da6c48f768" correct-answer - (19906 61463 854198) - "Error: kernel_call: argobject is the wrong type (C-k_if_literal (1 #,boolean?/o1)) \n") - ("dbid:bf93cc1e-534c-4a1f-8762-3072e59dcb3c" correct-answer - (19890 12527 164526) - "Error: kernel_call: argobject is the wrong type (,(unwrap #,unwrap) (1 #,applicative?/o1)) \n") ("dbid:cc211ae0-718b-4462-9062-7f0077cdf162" correct-answer (19871 34734 907783) "(1 #,integer?/o1)") -- 2.11.4.GIT