forked from alex-eg/sex
alex-eg
b1744bb6af
Introducing Sex SEMantic ENgine: the semen. Also split reader to other file (it can be replaced in the future). Macro expansion inside Sex code doesn't work yet, and it must be done in semen, not during fmt-c generation as before.
48 lines
1.8 KiB
Scheme
48 lines
1.8 KiB
Scheme
(pub defmacro (list-T type)
|
|
(let ((list-type (cat 'list- type)))
|
|
`(struct ,list-type
|
|
((,type value)
|
|
((* (struct ,list-type)) next)))))
|
|
|
|
(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 (* ,list-type) ,fn-name ()
|
|
(var (* ,list-type) list (cast (* ,list-type) (malloc (sizeof ,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 void ,fn-name ((,list-type *list) (,type value))
|
|
(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 size-t ,fn-name ((,list-type *list))
|
|
(var size-t n 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 bool ,(cat 'is-empty-list- type)
|
|
((,(list 'struct (cat 'list- type)) *list))
|
|
(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 (pointer ,list-type) ,list-var-2 ,list-var)
|
|
(var ,elt-type ,elt-var (-> ,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))))))
|