db

   1 (("dbid:0488e533-76ef-4720-93d5-bfab229c9079" correct-answer
   2     (19932 10723 754419)
   3     "Error: type mismatch: (#,listloop-style-neighbors (1 #,integer?/o1)) \n")
   4    ("dbid:266cbd1e-734c-4a81-bac6-e9d9a3424e79" correct-answer
   5       (19932 10358 448653)
   6       "Error: type mismatch: (,(unwrap #,do-destructure) (1 dot #,integer?/o1)) \n")
   7    ("dbid:a1bd1321-532e-4187-af64-278c009a7f97" correct-answer
   8       (19932 10336 679182)
   9       "Error: type mismatch: (,(unwrap #,do-destructure) (2 too-many)) \n")
  10    ("dbid:b50e8f78-6652-418d-9b44-1ff676946970" correct-answer
  11       (19932 10328 432699)
  12       "Error: type mismatch: (,(unwrap #,do-destructure) (1 too-few)) \n")
  13    ("dbid:dc2648ef-22cb-41c2-8f9b-67548b0a3b7a" correct-answer
  14       (19932 10316 339724)
  15       "Error: type mismatch: (,(unwrap #,do-destructure) (1 #,integer?/o1)) \n")
  16    ("dbid:3e113873-73a0-46f5-8e14-f41034780317" correct-answer
  17       (19932 10279 270542)
  18       "Error: type mismatch: (,(unwrap #,do-destructure) (0 too-few)) \n")
  19    ("dbid:6928bebb-0876-448c-9a9b-f72410c94422" correct-answer
  20       (19927 1182 862095)
  21       "Error: kernel_define_tree: value must be a pair:  144 \n")
  22    ("dbid:80eedbc8-efd5-47c4-9c3b-d0da6c48f768" correct-answer
  23       (19925 31258 104720)
  24       "Error: type mismatch: (C-k_if_literal (1 #,boolean?/o1)) \n")
  25    ("dbid:bf93cc1e-534c-4a1f-8762-3072e59dcb3c" correct-answer
  26       (19925 31220 896791)
  27       "Error: type mismatch: (,(unwrap #,unwrap) (1 #,applicative?/o1)) \n")
  28    ("dbid:2492173b-e70f-460d-87a0-da1aff73d22e" correct-answer
  29       (19924 29094 947484)
  30       "Error: spec must be a combiner \n")
  31    ("dbid:ee168f5d-5d87-4792-9dba-0fd0ac7c14a4" correct-answer
  32       (19924 14848 809057)
  33       "Error: destructure: past end of output array \n")
  34    ("dbid:cc211ae0-718b-4462-9062-7f0077cdf162" correct-answer
  35       (19871 34734 907783)
  36       "(1 #,integer?/o1)")
  37    ("dbid:2f83b114-6bdf-4c7d-9a76-0d3e8b43483c" correct-answer
  38       (19871 34731 647170)
  39       "(1 dot #,integer?/o1)")
  40    ("dbid:f90a1f49-9180-4817-8095-6422ee058745" correct-answer
  41       (19871 34723 384553)
  42       "(1 repeat 1 #,integer?/o1)")
  43    ("dbid:374c6ab3-7907-4ff5-b14d-e41584593296" correct-answer
  44       (19871 34721 38827)
  45       "(1 repeat 1 #,integer?/o1)")
  46    ("dbid:3c018d05-1938-4af6-8ad3-5325b9d16fd6" correct-answer
  47       (19870 10882 517413)
  48       "((,(unwrap #,get-profiling-data) 2 2) (,(unwrap #,eval) 4 12) (,(unwrap #,profiling) 2 2) (,(unwrap #,read) 5 26))")
  49    ("dbid:26b534dc-b589-4d2c-9026-7c5ea9b8a858" correct-answer
  50       (19870 10876 965137)
  51       "((,(unwrap #,get-profiling-data) 1 1) (,(unwrap #,eval) 3 9) (,(unwrap #,profiling) 2 2) (,(unwrap #,read) 4 22))")
  52    ("dbid:787cceb2-39a0-46c3-97a7-a23a3de3da4b" correct-answer
  53       (19870 10857 790131)
  54       "((,(unwrap #,eval) 1 3) (,(unwrap #,profiling) 1 1) (,(unwrap #,read) 2 11))")
  55    ("dbid:2afbb9f8-3016-46a5-bb93-9d9d2fdd0e98" correct-answer
  56       (19829 42822 282643)
  57       "Error: `/' with no divisors is deliberately not supplied \n")
  58    ("dbid:d0afc822-58f7-4921-b37d-57d45cd6b5e0" correct-answer
  59       (19829 42818 452149)
  60       "Error: `-' with no subtrahends is deliberately not supplied \n")
  61    ("dbid:ead640dc-500a-4658-a300-1ee7f8580cee" correct-answer
  62       (19811 7783 332913)
  63       "Error: eval: unbound variable: a \n")
  64    ("dbid:00870f66-0a50-4339-97fa-b780b35e7c5a" correct-answer
  65       (19811 7773 370425)
  66       "Error: kernel_call: argobject is the wrong type (1 #<OPERATIVE>) \n")
  67    ("dbid:673c63c9-1844-4c7f-b67d-22c6ef88fc66" correct-answer
  68       (19796 40490 127894)
  69       "Error: reverse_find_slot_in_env: No match \n")
  70    ("dbid:c3ec8dcc-39b2-4885-b4f3-f6e5f018c11e" correct-answer
  71       (19796 35458 190792)
  72       "Error: reverse_find_slot_in_env: No match \n")
  73    ("dbid:930c9cb4-c8e3-446a-9d0f-80a7a01edf2e" correct-answer
  74       (19793 54191 740086)
  75       "Error: eval: unbound variable: make-environment \n")
  76    ("dbid:ece901d5-4ac0-496e-a9e2-83423a933522" correct-answer
  77       (19793 37444 388050)
  78       "Error: destructure: Can't have two optionals \n")
  79    ("dbid:4d68ceb6-f450-4218-b222-c10019a39819" correct-answer
  80       (19793 37437 131893)
  81       "Error: destructure: After dot there must be exactly one typespec \n")
  82    ("dbid:8e8711ba-bada-4223-a212-3256d6a2e497" correct-answer
  83       (19793 37428 778437)
  84       "Error: destructure: After dot there must be exactly one typespec \n")
  85    ("dbid:e144f830-d6a5-4240-94f0-b0b8a9890d42" correct-answer
  86       (19793 37380 906445)
  87       "Error: typecheck: Can't have two optionals \n")
  88    ("dbid:37a39a99-8b11-4d6f-9e31-033af8d73d41" correct-answer
  89       (19793 37371 688580)
  90       "Error: typecheck: After dot there must be exactly one typespec \n")
  91    ("dbid:7f057673-3b94-4e4c-a25c-b09ed5239af2" correct-answer
  92       (19793 37335 990967)
  93       "Error: typecheck: After dot there must be exactly one typespec \n"))