Hugging Face's logo

j14i
/
cl-ds

English
common-lisp
macros
code-generation
program-transformation
Model card Files
xet
 Community
cl-ds / data /generated /arrow-macros_generated.jsonl
j14i's picture
j14i
977 CL macro transformation examples: CL-native pipeline with SBCL verification
d69fc90 verified
raw
history blame contribute delete
12 kB
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO COND->>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->> nil)","expanded":"(-> nil)","status":"verified"}
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->> nil\n nil)","expanded":"(-> nil\n (lambda (#:g121)\n (if nil\n (->> #:g121\n nil)\n #:g121)))","status":"verified"}
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->> nil\n (progn))","expanded":"(-> nil\n (lambda (#:g122)\n (if (progn)\n (->> #:g122\n nil)\n #:g122)))","status":"verified"}
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->> nil\n :key\n nil)","expanded":"(-> nil\n (lambda (#:g123)\n (if :key\n (->> #:g123\n nil)\n #:g123)))","status":"verified"}
{"macro_name":"COND->>","library":"arrow-macros","call_form":"(cond->> 'lol-gen::some-name)","expanded":"(-> 'lol-gen::some-name)","status":"verified"}
{"macro_name":"->","library":"arrow-macros","call_form":"(->)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO ->:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"->","library":"arrow-macros","call_form":"(-> nil)","expanded":"nil","status":"verified"}
{"macro_name":"->","library":"arrow-macros","call_form":"(-> nil\n nil)","expanded":"(nil nil)","status":"verified"}
{"macro_name":"->","library":"arrow-macros","call_form":"(-> nil\n (progn))","expanded":"(progn nil)","status":"verified"}
{"macro_name":"->","library":"arrow-macros","call_form":"(-> nil\n :key\n nil)","expanded":"(nil (:key nil))","status":"verified"}
{"macro_name":"->","library":"arrow-macros","call_form":"(-> 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO SOME-<>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<> nil)","expanded":"(block #:g125 nil)","status":"verified"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<> nil\n nil)","expanded":"(block #:g126 (nil (or nil (return-from #:g126 nil))))","status":"verified"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<> nil\n (progn))","expanded":"(block #:g127 (progn (or nil (return-from #:g127 nil))))","status":"verified"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<> nil\n :key\n nil)","expanded":"(block #:g128\n (nil (or (:key (or nil (return-from #:g128 nil))) (return-from #:g128 nil))))","status":"verified"}
{"macro_name":"SOME-<>","library":"arrow-macros","call_form":"(some-<> 'lol-gen::some-name)","expanded":"(block #:g129 'lol-gen::some-name)","status":"verified"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO SOME->>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->> nil)","expanded":"(block #:g130 nil)","status":"verified"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->> nil\n nil)","expanded":"(block #:g131 (nil (or nil (return-from #:g131 nil))))","status":"verified"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->> nil\n (progn))","expanded":"(block #:g132 (progn (or nil (return-from #:g132 nil))))","status":"verified"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->> nil\n :key\n nil)","expanded":"(block #:g133\n (nil (or (:key (or nil (return-from #:g133 nil))) (return-from #:g133 nil))))","status":"verified"}
{"macro_name":"SOME->>","library":"arrow-macros","call_form":"(some->> 'lol-gen::some-name)","expanded":"(block #:g134 'lol-gen::some-name)","status":"verified"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO ->>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->> nil)","expanded":"nil","status":"verified"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->> nil\n nil)","expanded":"(nil nil)","status":"verified"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->> nil\n (progn))","expanded":"(progn nil)","status":"verified"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->> nil\n :key\n nil)","expanded":"(nil (:key nil))","status":"verified"}
{"macro_name":"->>","library":"arrow-macros","call_form":"(->> 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO -<>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<> nil)","expanded":"nil","status":"verified"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<> nil\n nil)","expanded":"(nil nil)","status":"verified"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<> nil\n (progn))","expanded":"(progn nil)","status":"verified"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<> nil\n :key\n nil)","expanded":"(nil (:key nil))","status":"verified"}
{"macro_name":"-<>","library":"arrow-macros","call_form":"(-<> 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond->)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO COND->:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond-> nil)","expanded":"(-> nil)","status":"verified"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond-> nil\n nil)","expanded":"(-> nil\n (lambda (#:g141)\n (if nil\n (-> #:g141\n nil)\n #:g141)))","status":"verified"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond-> nil\n (progn))","expanded":"(-> nil\n (lambda (#:g142)\n (if (progn)\n (-> #:g142\n nil)\n #:g142)))","status":"verified"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond-> nil\n :key\n nil)","expanded":"(-> nil\n (lambda (#:g143)\n (if :key\n (-> #:g143\n nil)\n #:g143)))","status":"verified"}
{"macro_name":"COND->","library":"arrow-macros","call_form":"(cond-> 'lol-gen::some-name)","expanded":"(-> 'lol-gen::some-name)","status":"verified"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO SOME-<>>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>> nil)","expanded":"(block #:g145 nil)","status":"verified"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>> nil\n nil)","expanded":"(block #:g146 (nil (or nil (return-from #:g146 nil))))","status":"verified"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>> nil\n (progn))","expanded":"(block #:g147 (progn (or nil (return-from #:g147 nil))))","status":"verified"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>> nil\n :key\n nil)","expanded":"(block #:g148\n (nil (or (:key (or nil (return-from #:g148 nil))) (return-from #:g148 nil))))","status":"verified"}
{"macro_name":"SOME-<>>","library":"arrow-macros","call_form":"(some-<>> 'lol-gen::some-name)","expanded":"(block #:g149 'lol-gen::some-name)","status":"verified"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>>)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO -<>>:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>> nil)","expanded":"nil","status":"verified"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>> nil\n nil)","expanded":"(nil nil)","status":"verified"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>> nil\n (progn))","expanded":"(progn nil)","status":"verified"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>> nil\n :key\n nil)","expanded":"(nil (:key nil))","status":"verified"}
{"macro_name":"-<>>","library":"arrow-macros","call_form":"(-<>> 'lol-gen::some-name)","expanded":"'lol-gen::some-name","status":"verified"}
{"macro_name":"AS->","library":"arrow-macros","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 (INIT VAR &BODY EXPS):\n at least 2 expected, but got 0"}
{"macro_name":"AS->","library":"arrow-macros","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 (INIT VAR &BODY EXPS):\n at least 2 expected, but got 1"}
{"macro_name":"AS->","library":"arrow-macros","call_form":"(as-> nil\n nil)","expanded":"(let ((nil nil))\n nil)","status":"verified"}
{"macro_name":"AS->","library":"arrow-macros","call_form":"(as-> nil\n (progn))","expanded":"(let (((progn) nil))\n (progn))","status":"verified"}
{"macro_name":"AS->","library":"arrow-macros","call_form":"(as-> nil\n :key\n nil)","expanded":"(let ((:key nil))\n :key\n nil)","status":"verified"}
{"macro_name":"AS->","library":"arrow-macros","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 (INIT VAR &BODY EXPS):\n at least 2 expected, but got 1"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some->)","expanded":"","status":"expansion-error","error":"Error while parsing arguments to DEFMACRO SOME->:\n too few elements in\n ()\n to satisfy lambda list\n (INIT &BODY EXPS):\n at least 1 expected, but got 0"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some-> nil)","expanded":"(block #:g155 nil)","status":"verified"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some-> nil\n nil)","expanded":"(block #:g156 (nil (or nil (return-from #:g156 nil))))","status":"verified"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some-> nil\n (progn))","expanded":"(block #:g157 (progn (or nil (return-from #:g157 nil))))","status":"verified"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some-> nil\n :key\n nil)","expanded":"(block #:g158\n (nil (or (:key (or nil (return-from #:g158 nil))) (return-from #:g158 nil))))","status":"verified"}
{"macro_name":"SOME->","library":"arrow-macros","call_form":"(some-> 'lol-gen::some-name)","expanded":"(block #:g159 'lol-gen::some-name)","status":"verified"}