artemist/mes
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

mescc: Grok char *const foo[];

Browse source 
* module/language/c99/compiler.mes (ast-strip-const): Grok char *const argv[];
This commit is contained in:
Jan Nieuwenhuizen 2017-11-19 16:46:43 +01:00
parent 2555427610
commit e77e56c5b0
1 changed files with 10 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
module/language/c99/compiler.mes
View file

@ -90,9 +90,17 @@
(define (ast-strip-const o) (define (ast-strip-const o)
(pmatch o (pmatch o
((type-qual ,qual) (if (equal? qual "const") #f o)) ((type-qual ,qual) (if (equal? qual "const") #f o))
((pointer (type-qual-list (type-qual ,qual)) . ,rest)
(if (equal? qual "const") `(pointer ,@rest) o))
((decl-spec-list (type-qual ,qual))
(if (equal? qual "const") #f
`(decl-spec-list (type-qual ,qual))))
((decl-spec-list (type-qual ,qual) . ,rest) ((decl-spec-list (type-qual ,qual) . ,rest)
(if (equal? qual "const") `(decl-spec-list ,@rest) (if (equal? qual "const") `(decl-spec-list ,@rest)
`(decl-spec-list (type-qual ,qual) ,@(map ast-strip-const rest)))) `(decl-spec-list (type-qual ,qual) ,@(map ast-strip-const rest))))
((decl-spec-list (type-qual-list (type-qual ,qual)) . ,rest)
(if (equal? qual "const") `(decl-spec-list ,@rest)
`(decl-spec-list (type-qual-list (type-qual ,qual)) ,@(map ast-strip-const rest))))
((,h . ,t) (if (list? o) (filter-map ast-strip-const o) ((,h . ,t) (if (list? o) (filter-map ast-strip-const o)
(cons (ast-strip-const h) (ast-strip-const t)))) (cons (ast-strip-const h) (ast-strip-const t))))
(_ o))) (_ o)))
@ -115,6 +123,8 @@
((param-decl _ (param-declr (ptr-declr (pointer) (array-of (ident ,name))))) name) ((param-decl _ (param-declr (ptr-declr (pointer) (array-of (ident ,name))))) name)
((param-decl _ (param-declr (ptr-declr (pointer (pointer)) (ident ,name)))) name) ((param-decl _ (param-declr (ptr-declr (pointer (pointer)) (ident ,name)))) name)
((param-decl _ (param-declr (ptr-declr (pointer (pointer (pointer))) (ident ,name)))) name) ((param-decl _ (param-declr (ptr-declr (pointer (pointer (pointer))) (ident ,name)))) name)
((param-decl _ (param-declr (ptr-declr (pointer (decl-spec-list) (pointer)) (ident ,name)))) name)
((param-decl _ (param-declr (ptr-declr (pointer (decl-spec-list)) (array-of (ident ,name))))) name)
((param-decl _ (param-declr (ftn-declr (scope (ptr-declr (pointer) (ident ,name))) (param-list . ,params)))) name) ((param-decl _ (param-declr (ftn-declr (scope (ptr-declr (pointer) (ident ,name))) (param-list . ,params)))) name)
(_ (_
(format (current-error-port) "SKIP: .name =~a\n" o)))) (format (current-error-port) "SKIP: .name =~a\n" o))))