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

mescc: cleanup obsolete Nyacc 0.7x compatibility.

Browse source 
* module/language/c99/compiler.mes (ast-type->type, ast->type
  expr->accu, struct-field, decl->info,): Remove obsolete Nyacc 0.7x
  patterns.
This commit is contained in:
Jan Nieuwenhuizen 2017-11-18 21:05:43 +01:00
parent f17f4db60a
commit 66a78f68cb
1 changed files with 0 additions and 37 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -240,10 +240,6 @@
(ast-type->type info type)) (ast-type->type info type))
((array-ref ,index (p-expr (ident ,array))) ((array-ref ,index (p-expr (ident ,array)))
(ast-type->type info `(p-expr (ident ,array)))) (ast-type->type info `(p-expr (ident ,array))))
((struct-ref (ident (,type)))
(or (get-type (.types info) type)
(let ((struct (if (pair? type) type `("tag" ,type))))
(ast-type->type info struct))))
((struct-ref (ident ,type)) ((struct-ref (ident ,type))
(or (get-type (.types info) type) (or (get-type (.types info) type)
(let ((struct (if (pair? type) type `("tag" ,type)))) (let ((struct (if (pair? type) type `("tag" ,type))))
@ -336,8 +332,6 @@
type) type)
((typename ,type) ((typename ,type)
type) type)
((struct-ref (ident (,type)))
`("tag" ,type))
((struct-ref (ident ,type)) ((struct-ref (ident ,type))
`("tag" ,type)) `("tag" ,type))
(_ (stderr "SKIP: type=~s\n" o) (_ (stderr "SKIP: type=~s\n" o)
@ -932,11 +926,6 @@
(size (ast-type->size info type))) (size (ast-type->size info type)))
(append-text info (wrap-as (i386:value->accu size))))) (append-text info (wrap-as (i386:value->accu size)))))
((sizeof-type (type-name (decl-spec-list (type-spec (struct-ref (ident (,type)))))))
(let* ((type `("tag" ,type))
(size (ast-type->size info type)))
(append-text info (wrap-as (i386:value->accu size)))))
((sizeof-type (type-name (decl-spec-list (type-spec (struct-ref (ident ,type)))))) ((sizeof-type (type-name (decl-spec-list (type-spec (struct-ref (ident ,type))))))
(let* ((type `("tag" ,type)) (let* ((type `("tag" ,type))
(size (ast-type->size info type))) (size (ast-type->size info type)))
@ -1519,21 +1508,12 @@
(count (expr->number info count))) (count (expr->number info count)))
(list name type (* count size) -1))) (list name type (* count size) -1)))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident (,type))))) (comp-declr-list (comp-declr (ptr-declr (pointer (pointer)) (ident ,name)))))
(list name `("tag" ,type) 4 2))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ptr-declr (pointer (pointer)) (ident ,name))))) ((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ptr-declr (pointer (pointer)) (ident ,name)))))
(list name `("tag" ,type) 4 2)) (list name `("tag" ,type) 4 2))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident (,type))))) (comp-declr-list (comp-declr (ptr-declr (pointer) (ident ,name)))))
(list name `("tag" ,type) 4 1))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ptr-declr (pointer) (ident ,name))))) ((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ptr-declr (pointer) (ident ,name)))))
(list name `("tag" ,type) 4 1)) (list name `("tag" ,type) 4 1))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident (,type))))) (comp-declr-list (comp-declr (ident ,name))))
((struct-field info) `(comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ident ,name))))))
((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ident ,name)))) ((comp-decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (comp-declr-list (comp-declr (ident ,name))))
(let ((size (ast-type->size info `("tag" ,type)))) (let ((size (ast-type->size info `("tag" ,type))))
(list name `("tag" ,type) size 0))) (list name `("tag" ,type) size 0)))
@ -1649,23 +1629,6 @@
(pmatch o (pmatch o
;; FIXME: Nyacc sometimes produces extra parens: (ident (<struct-name>)) ;; FIXME: Nyacc sometimes produces extra parens: (ident (<struct-name>))
((decl (decl-spec-list (stor-spec ,spec) (type-spec (struct-ref (ident (,type))))) ,init)
((decl->info info) `(decl (decl-spec-list (stor-spec ,spec) (type-spec (struct-ref (ident ,type)))) ,init)))
((decl (decl-spec-list (type-spec (struct-ref (ident (,type))))) (init-declr-list (init-declr (ptr-declr (pointer) (ident ,name)))))
((decl->info info) `(decl (decl-spec-list (type-spec (struct-ref (ident ,type)))) (init-declr-list (init-declr (ptr-declr (pointer) (ident ,name)))))))
((decl (decl-spec-list (type-spec (struct-def (ident (,type)) ,field-list))))
((decl->info info) `(decl (decl-spec-list (type-spec (struct-def (ident ,type) ,field-list))))))
((decl (decl-spec-list (stor-spec ,spec) (type-spec (union-ref (ident (,type))))) ,init)
((decl->info info) `(decl (decl-spec-list (stor-spec ,spec) (type-spec (union-ref (ident ,type)))) ,init)))
((decl (decl-spec-list (type-spec (union-def (ident (,type)) ,field-list))))
((decl->info info) `(decl (decl-spec-list (type-spec (union-def (ident ,type) ,field-list))))))
((decl (decl-spec-list (type-spec (union-ref (ident (,type))))) (init-declr-list (init-declr (ident ,name) ,initzer)))
((decl->info info) `(decl (decl-spec-list (type-spec (union-ref (ident ,type)))) (init-declr-list (init-declr (ident ,name) ,initzer)))))
((decl (decl-spec-list (type-spec (typename ,type))) (init-declr-list (init-declr (ftn-declr (ident ,name) (param-list . ,param-list))))) ((decl (decl-spec-list (type-spec (typename ,type))) (init-declr-list (init-declr (ftn-declr (ident ,name) (param-list . ,param-list)))))
(declare name)) (declare name))