File size: 16,991 Bytes
64debd6 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 | {"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>)","expanded":"nil","status":"verified"}
{"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>\n nil\n nil)","expanded":"(let* ((#:var126 nil) (#:var127 (nil #:var126)))\n #:var127)","status":"verified"}
{"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>\n nil\n (progn))","expanded":"(let* ((#:var128 nil) (#:var129 (progn #:var128)))\n #:var129)","status":"verified"}
{"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>\n nil\n :key\n nil)","expanded":"(let* ((#:var130 nil) (#:var131 (:key #:var130)) (#:var132 (nil #:var131)))\n #:var132)","status":"verified"}
{"macro_name":"-<>>","library":"binding-arrows","call_form":"(-<>>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->)","expanded":"nil","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->\n nil\n nil)","expanded":"(let* ((#:var133 nil)\n (#:var134\n (if nil\n (->\n #:var133)\n #:var133)))\n #:var134)","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->\n nil\n (progn))","expanded":"(let* ((#:var135 nil)\n (#:var136\n (if progn\n (->\n #:var135)\n #:var135)))\n #:var136)","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->\n nil\n :key\n nil)","expanded":"(let* ((#:var137 nil)\n (#:var138\n (if :key\n (->\n #:var137)\n #:var137))\n (#:var139\n (if nil\n (->\n #:var138)\n #:var138)))\n #:var139)","status":"verified"}
{"macro_name":"COND->","library":"binding-arrows","call_form":"(cond->\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>)","expanded":"nil","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>\n nil\n nil)","expanded":"(let* ((#:var140 nil)\n (#:var141\n (if nil\n (-<>\n #:var140)\n #:var140)))\n #:var141)","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>\n nil\n (progn))","expanded":"(let* ((#:var142 nil)\n (#:var143\n (if progn\n (-<>\n #:var142)\n #:var142)))\n #:var143)","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>\n nil\n :key\n nil)","expanded":"(let* ((#:var144 nil)\n (#:var145\n (if :key\n (-<>\n #:var144)\n #:var144))\n (#:var146\n (if nil\n (-<>\n #:var145)\n #:var145)))\n #:var146)","status":"verified"}
{"macro_name":"COND-<>","library":"binding-arrows","call_form":"(cond-<>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>)","expanded":"nil","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>\n nil\n nil)","expanded":"(let* ((#:var147 nil)\n (#:var148\n (if #:var147\n (nil #:var147)\n nil)))\n #:var148)","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>\n nil\n (progn))","expanded":"(let* ((#:var149 nil)\n (#:var150\n (if #:var149\n (progn #:var149)\n nil)))\n #:var150)","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>\n nil\n :key\n nil)","expanded":"(let* ((#:var151 nil)\n (#:var152\n (if #:var151\n (:key #:var151)\n nil))\n (#:var153\n (if #:var152\n (nil #:var152)\n nil)))\n #:var153)","status":"verified"}
{"macro_name":"SOME-<>>","library":"binding-arrows","call_form":"(some-<>>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->)","expanded":"nil","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->\n nil\n nil)","expanded":"(let* ((#:var154 nil) (#:var155 (nil #:var154)))\n #:var155)","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->\n nil\n (progn))","expanded":"(let* ((#:var156 nil) (#:var157 (progn #:var156)))\n #:var157)","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->\n nil\n :key\n nil)","expanded":"(let* ((#:var158 nil) (#:var159 (:key #:var158)) (#:var160 (nil #:var159)))\n #:var160)","status":"verified"}
{"macro_name":"->","library":"binding-arrows","call_form":"(->\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>)","expanded":"nil","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>\n nil\n nil)","expanded":"(let* ((#:var161 nil)\n (#:var162\n (if nil\n (-<>>\n #:var161)\n #:var161)))\n #:var162)","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>\n nil\n (progn))","expanded":"(let* ((#:var163 nil)\n (#:var164\n (if progn\n (-<>>\n #:var163)\n #:var163)))\n #:var164)","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>\n nil\n :key\n nil)","expanded":"(let* ((#:var165 nil)\n (#:var166\n (if :key\n (-<>>\n #:var165)\n #:var165))\n (#:var167\n (if nil\n (-<>>\n #:var166)\n #:var166)))\n #:var167)","status":"verified"}
{"macro_name":"COND-<>>","library":"binding-arrows","call_form":"(cond-<>>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>)","expanded":"nil","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>\n nil\n nil)","expanded":"(let* ((#:var168 nil)\n (#:var169\n (if nil\n (->>\n #:var168)\n #:var168)))\n #:var169)","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>\n nil\n (progn))","expanded":"(let* ((#:var170 nil)\n (#:var171\n (if progn\n (->>\n #:var170)\n #:var170)))\n #:var171)","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>\n nil\n :key\n nil)","expanded":"(let* ((#:var172 nil)\n (#:var173\n (if :key\n (->>\n #:var172)\n #:var172))\n (#:var174\n (if nil\n (->>\n #:var173)\n #:var173)))\n #:var174)","status":"verified"}
{"macro_name":"COND->>","library":"binding-arrows","call_form":"(cond->>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->)","expanded":"nil","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->\n nil\n nil)","expanded":"(let* ((#:var175 nil)\n (#:var176\n (if #:var175\n (nil #:var175)\n nil)))\n #:var176)","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->\n nil\n (progn))","expanded":"(let* ((#:var177 nil)\n (#:var178\n (if #:var177\n (progn #:var177)\n nil)))\n #:var178)","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->\n nil\n :key\n nil)","expanded":"(let* ((#:var179 nil)\n (#:var180\n (if #:var179\n (:key #:var179)\n nil))\n (#:var181\n (if #:var180\n (nil #:var180)\n nil)))\n #:var181)","status":"verified"}
{"macro_name":"SOME->","library":"binding-arrows","call_form":"(some->\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>)","expanded":"nil","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>\n nil\n nil)","expanded":"(let* ((#:var182 nil)\n (#:var183\n (if #:var182\n (nil #:var182)\n nil)))\n #:var183)","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>\n nil\n (progn))","expanded":"(let* ((#:var184 nil)\n (#:var185\n (if #:var184\n (progn #:var184)\n nil)))\n #:var185)","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>\n nil\n :key\n nil)","expanded":"(let* ((#:var186 nil)\n (#:var187\n (if #:var186\n (:key #:var186)\n nil))\n (#:var188\n (if #:var187\n (nil #:var187)\n nil)))\n #:var188)","status":"verified"}
{"macro_name":"SOME-<>","library":"binding-arrows","call_form":"(some-<>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>)","expanded":"nil","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>\n nil\n nil)","expanded":"(let* ((#:var189 nil) (#:var190 (nil #:var189)))\n #:var190)","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>\n nil\n (progn))","expanded":"(let* ((#:var191 nil) (#:var192 (progn #:var191)))\n #:var192)","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>\n nil\n :key\n nil)","expanded":"(let* ((#:var193 nil) (#:var194 (:key #:var193)) (#:var195 (nil #:var194)))\n #:var195)","status":"verified"}
{"macro_name":"->>","library":"binding-arrows","call_form":"(->>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->*)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO AS->*:\n too few elements in\n ()\n to satisfy lambda list\n (VAR &BODY FORMS):\n at least 1 expected, but got 0"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->* nil)","expanded":"nil","status":"verified"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->* nil\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->* nil\n (progn))","expanded":"(progn)","status":"verified"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->* nil\n :key\n nil)","expanded":"(let* ((nil nil) (nil :key))\n nil)","status":"verified"}
{"macro_name":"AS->*","library":"binding-arrows","call_form":"(as->* 'lol-gen::some-name)","expanded":"nil","status":"verified"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as->)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO AS->:\n too few elements in\n ()\n to satisfy lambda list\n (INITIAL-FORM VAR &BODY FORMS):\n at least 2 expected, but got 0"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as-> nil)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO AS->:\n too few elements in\n (NIL)\n to satisfy lambda list\n (INITIAL-FORM VAR &BODY FORMS):\n at least 2 expected, but got 1"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as-> nil\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as-> nil\n (progn))","expanded":"nil","status":"verified"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as-> nil\n :key\n nil)","expanded":"(let* ((:key nil) (:key (nil)))\n :key)","status":"verified"}
{"macro_name":"AS->","library":"binding-arrows","call_form":"(as-> 'lol-gen::some-name)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO AS->:\n too few elements in\n ('LOL-GEN::SOME-NAME)\n to satisfy lambda list\n (INITIAL-FORM VAR &BODY FORMS):\n at least 2 expected, but got 1"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*)","expanded":"nil","status":"verified"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*\n nil\n nil)","expanded":"(let* ((#:var196 nil) (#:var197 (nil #:var196)))\n #:var197)","status":"verified"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*\n nil\n (progn))","expanded":"(let* ((#:var198 (progn)) (#:var199 (nil #:var198)))\n #:var199)","status":"verified"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*\n nil\n :key\n nil)","expanded":"(let* ((#:var200 nil) (#:var201 (nil #:var200)) (#:var202 (:key #:var201)))\n #:var202)","status":"verified"}
{"macro_name":"->*","library":"binding-arrows","call_form":"(->*\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>)","expanded":"nil","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>\n nil\n nil)","expanded":"(let* ((#:var203 nil)\n (#:var204\n (if #:var203\n (nil #:var203)\n nil)))\n #:var204)","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>\n nil\n (progn))","expanded":"(let* ((#:var205 nil)\n (#:var206\n (if #:var205\n (progn #:var205)\n nil)))\n #:var206)","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>\n nil\n :key\n nil)","expanded":"(let* ((#:var207 nil)\n (#:var208\n (if #:var207\n (:key #:var207)\n nil))\n (#:var209\n (if #:var208\n (nil #:var208)\n nil)))\n #:var209)","status":"verified"}
{"macro_name":"SOME->>","library":"binding-arrows","call_form":"(some->>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>)","expanded":"nil","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>\n nil)","expanded":"nil","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>\n nil\n nil)","expanded":"(let* ((#:var210 nil) (#:var211 (nil #:var210)))\n #:var211)","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>\n nil\n (progn))","expanded":"(let* ((#:var212 nil) (#:var213 (progn #:var212)))\n #:var213)","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>\n nil\n :key\n nil)","expanded":"(let* ((#:var214 nil) (#:var215 (:key #:var214)) (#:var216 (nil #:var215)))\n #:var216)","status":"verified"}
{"macro_name":"-<>","library":"binding-arrows","call_form":"(-<>\n 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
|