Hex Artifact Content
Not logged in

Artifact 88cc387e8a7f4249eda075028a8f864d9fc8eb05:


0000: 3b 3b 20 43 6f 70 79 72 69 67 68 74 20 28 63 29  ;; Copyright (c)
0010: 20 32 30 30 39 20 44 65 72 69 63 6b 20 45 64 64   2009 Derick Edd
0020: 69 6e 67 74 6f 6e 2e 20 20 41 6c 6c 20 72 69 67  ington.  All rig
0030: 68 74 73 20 72 65 73 65 72 76 65 64 2e 0a 3b 3b  hts reserved..;;
0040: 20 4c 69 63 65 6e 73 65 64 20 75 6e 64 65 72 20   Licensed under 
0050: 61 6e 20 4d 49 54 2d 73 74 79 6c 65 20 6c 69 63  an MIT-style lic
0060: 65 6e 73 65 2e 20 20 4d 79 20 6c 69 63 65 6e 73  ense.  My licens
0070: 65 20 69 73 20 69 6e 20 74 68 65 20 66 69 6c 65  e is in the file
0080: 0a 3b 3b 20 6e 61 6d 65 64 20 4c 49 43 45 4e 53  .;; named LICENS
0090: 45 20 66 72 6f 6d 20 74 68 65 20 6f 72 69 67 69  E from the origi
00a0: 6e 61 6c 20 63 6f 6c 6c 65 63 74 69 6f 6e 20 74  nal collection t
00b0: 68 69 73 20 66 69 6c 65 20 69 73 20 64 69 73 74  his file is dist
00c0: 72 69 62 75 74 65 64 0a 3b 3b 20 77 69 74 68 2e  ributed.;; with.
00d0: 20 20 49 66 20 74 68 69 73 20 66 69 6c 65 20 69    If this file i
00e0: 73 20 72 65 64 69 73 74 72 69 62 75 74 65 64 20  s redistributed 
00f0: 77 69 74 68 20 73 6f 6d 65 20 6f 74 68 65 72 20  with some other 
0100: 63 6f 6c 6c 65 63 74 69 6f 6e 2c 20 6d 79 0a 3b  collection, my.;
0110: 3b 20 6c 69 63 65 6e 73 65 20 6d 75 73 74 20 61  ; license must a
0120: 6c 73 6f 20 62 65 20 69 6e 63 6c 75 64 65 64 2e  lso be included.
0130: 0a 0a 23 21 72 36 72 73 0a 28 6c 69 62 72 61 72  ..#!r6rs.(librar
0140: 79 20 28 73 72 66 69 20 73 37 38 20 6c 69 67 68  y (srfi s78 ligh
0150: 74 77 65 69 67 68 74 2d 74 65 73 74 69 6e 67 29  tweight-testing)
0160: 0a 20 20 28 65 78 70 6f 72 74 0a 20 20 20 20 63  .  (export.    c
0170: 68 65 63 6b 0a 20 20 20 20 63 68 65 63 6b 2d 65  heck.    check-e
0180: 63 0a 20 20 20 20 63 68 65 63 6b 2d 72 65 70 6f  c.    check-repo
0190: 72 74 0a 20 20 20 20 63 68 65 63 6b 2d 73 65 74  rt.    check-set
01a0: 2d 6d 6f 64 65 21 0a 20 20 20 20 63 68 65 63 6b  -mode!.    check
01b0: 2d 72 65 73 65 74 21 0a 20 20 20 20 63 68 65 63  -reset!.    chec
01c0: 6b 2d 70 61 73 73 65 64 3f 29 0a 20 20 28 69 6d  k-passed?).  (im
01d0: 70 6f 72 74 20 0a 20 20 20 20 28 72 6e 72 73 29  port .    (rnrs)
01e0: 0a 20 20 20 20 28 73 72 66 69 20 73 37 38 20 6c  .    (srfi s78 l
01f0: 69 67 68 74 77 65 69 67 68 74 2d 74 65 73 74 69  ightweight-testi
0200: 6e 67 20 63 6f 6d 70 61 74 29 0a 20 20 20 20 28  ng compat).    (
0210: 73 72 66 69 20 73 33 39 20 70 61 72 61 6d 65 74  srfi s39 paramet
0220: 65 72 73 29 0a 20 20 20 20 28 73 72 66 69 20 70  ers).    (srfi p
0230: 72 69 76 61 74 65 20 69 6e 63 6c 75 64 65 29 0a  rivate include).
0240: 20 20 20 20 28 73 72 66 69 20 73 32 33 20 65 72      (srfi s23 er
0250: 72 6f 72 20 74 72 69 63 6b 73 29 0a 20 20 20 20  ror tricks).    
0260: 28 73 72 66 69 20 73 34 32 20 65 61 67 65 72 2d  (srfi s42 eager-
0270: 63 6f 6d 70 72 65 68 65 6e 73 69 6f 6e 73 29 29  comprehensions))
0280: 0a 20 20 0a 20 20 3b 3b 20 28 53 52 46 49 2d 32  .  .  ;; (SRFI-2
0290: 33 2d 65 72 72 6f 72 2d 3e 52 36 52 53 20 22 28  3-error->R6RS "(
02a0: 6c 69 62 72 61 72 79 20 28 73 72 66 69 20 73 37  library (srfi s7
02b0: 38 20 6c 69 67 68 74 77 65 69 67 68 74 2d 74 65  8 lightweight-te
02c0: 73 74 69 6e 67 29 29 22 0a 20 20 3b 3b 20 20 28  sting))".  ;;  (
02d0: 69 6e 63 6c 75 64 65 2f 72 65 73 6f 6c 76 65 20  include/resolve 
02e0: 28 22 73 72 66 69 22 20 22 25 33 61 37 38 22 29  ("srfi" "%3a78")
02f0: 20 22 63 68 65 63 6b 2e 73 63 6d 22 29 29 0a 0a   "check.scm"))..
0300: 20 20 28 53 52 46 49 2d 32 33 2d 65 72 72 6f 72    (SRFI-23-error
0310: 2d 3e 52 36 52 53 20 22 28 6c 69 62 72 61 72 79  ->R6RS "(library
0320: 20 28 73 72 66 69 20 73 37 38 20 6c 69 67 68 74   (srfi s78 light
0330: 77 65 69 67 68 74 2d 74 65 73 74 69 6e 67 29 29  weight-testing))
0340: 22 0a 20 20 20 28 69 6e 63 6c 75 64 65 2f 72 65  ".   (include/re
0350: 73 6f 6c 76 65 20 28 22 73 72 66 69 22 20 22 73  solve ("srfi" "s
0360: 37 38 22 29 20 22 63 68 65 63 6b 2e 73 63 6d 22  78") "check.scm"
0370: 29 29 0a 29 0a                                   )).).