alex-eg
48a3d06925
Types, fns and vars are now written in another, better, more intuitive and readable way. Types: "pointer to const char" is "* const char" "array of pointers to volatile int" is "[* volatile int]" Read left to right Vars (as well as fn args, struct fields): (var name type) (struct vec3 ((x float) (y float) (z float)) (fn vec3-add ((v1 vec3) (v2 vec3)) vec3 ...) Also fns are now have return types after arg list. * is now must not be attached to any type name (or variable for that matter)
49 lines
1.8 KiB
Scheme
49 lines
1.8 KiB
Scheme
(pub defmacro (list-T type)
|
|
(let ((list-type (cat 'list- type)))
|
|
`(struct ,list-type
|
|
((value ,type)
|
|
(next (* struct ,list-type))))))
|
|
|
|
(pub defmacro (make-list-T type is-public?)
|
|
(let ((list-type (list 'struct (cat 'list- type)))
|
|
(fn-name (cat 'make-list- type)))
|
|
`(,@(if is-public? '(pub) '()) fn ,fn-name () (* ,list-type)
|
|
(var list (* ,list-type) (cast (malloc (sizeof ,list-type)) (* ,list-type)))
|
|
(= (-> list next) NULL)
|
|
(return list))))
|
|
|
|
(pub defmacro (add-value-list-T type is-public?)
|
|
(let ((list-type (list 'struct (cat 'list- type)))
|
|
(fn-name (cat 'add-value-list- type)))
|
|
`(,@(if is-public? '(pub) '()) fn ,fn-name ((list * ,list-type) (value ,type)) void
|
|
(while (!= (-> list next) NULL)
|
|
(= list (-> list next)))
|
|
(= (-> list next) (,(cat 'make-list- type)))
|
|
(= (-> list value) value))))
|
|
|
|
(pub defmacro (length-list-T type is-public?)
|
|
(let ((fn-name (cat 'length-list- type))
|
|
(list-type (list 'struct (cat 'list- type))))
|
|
`(,@(if is-public? '(pub) '()) fn ,fn-name ((list ,(cons '* list-type))) size-t
|
|
(var n size-t 0)
|
|
(while (!= (-> list next) NULL)
|
|
(= list (-> list next))
|
|
(++ n))
|
|
(return n))))
|
|
|
|
(pub defmacro (is-empty-list-T type is-public?)
|
|
`(,@(if is-public? '(pub) '()) fn ,(cat 'is-empty-list- type)
|
|
((list ,(list '* 'struct (cat 'list- type))))
|
|
bool
|
|
(return (== (-> list next) NULL))))
|
|
|
|
(pub defmacro (list-for-each list-type list-var elt-type elt-var what-do)
|
|
(let ((list-var-2 (cat list-var '-2)))
|
|
`(begin
|
|
(var ,list-var-2 (* ,list-type) ,list-var)
|
|
(var ,elt-var ,elt-type (-> ,list-var-2 value))
|
|
(while (!= (-> ,list-var-2 next) NULL)
|
|
,what-do
|
|
(= ,list-var-2 (-> ,list-var-2 next))
|
|
(= ,elt-var (-> ,list-var-2 value))))))
|