exercise about dolorem-c HOT 2 OPEN

Can I define higher-order functions like map?

from dolorem-c.

Do you know why I am not supposed to use expect-ident on the name?

Did you also wrap the name in make-ident-val when you use it in the return value? expect-ident returns a char* so you can't directly use it in cons. (dolorem-c doesn't have a type system and the C compiler is said to ignore pointer type mismatch, so this error currently likely wouldn't be caught at compile-time.)

As for the recursion, I first added a list convenience function. Use it like this: (list … (make-nil-val)).

This is a start that builds the rhs's of argument assignments with the right amount of cdrs:

(defmacro not (progn
  (:= o (lower (car args)))
  (set-expression o (print-to-mem "!(%s)" (get-expression o)))
 o))

(defmacro add (progn
  (:= left (lower (car args)))
  (:= right (lower (car (cdr args))))
  (add-cexp left right)
  (set-expression left (print-to-mem "(%s) + (%s)" (get-expression left) (get-expression right)))
 left))

(defun add-recursively-built-args ((int depth)) void* (progn
  (var res void*)
  (cond depth
    (assign res (cons (make-ident-val "cdr") (cons (add-recursively-built-args (add depth -1)) (make-nil-val)))))
  (cond (not depth)
    (assign res (make-ident-val "args")))
 res))

from dolorem-c.