Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| tutorials:beginner:high_level_plans [2022/03/15 13:27] – [Defining inference rules for designators] schimpf | tutorials:beginner:high_level_plans [2022/03/15 13:29] (current) – [Writing the plans] schimpf | ||
|---|---|---|---|
| Line 176: | Line 176: | ||
| (in-package :tut) | (in-package :tut) | ||
| - | (defun draw-house () | + | (defun draw-house (&key ((:shape ?shape)) |
| + | & | ||
| + | (declare (type (or keyword) ?shape)) | ||
| (with-fields (x y) | (with-fields (x y) | ||
| (value *turtle-pose*) | (value *turtle-pose*) | ||
| Line 187: | Line 189: | ||
| (exe: | (exe: | ||
| - | (defun draw-simple-shape (vertices) | + | (defun draw-simple-shape (&key |
| + | ((:vertices | ||
| + | & | ||
| + | (declare (type (or list null) ?vertices)) | ||
| (mapcar | (mapcar | ||
| | | ||
| | | ||
| - | | + | ?vertices)) |
| (defun navigate-without-pen (?target) | (defun navigate-without-pen (?target) | ||
| Line 198: | Line 204: | ||
| (exe: | (exe: | ||
| - | (defun navigate (?v) | + | (defun navigate (&key ((: |
| - | (exe: | + | & |
| + | (declare (type (or list null) ?target)) | ||
| + | (exe: | ||
| </ | </ | ||

