← Back to branch summary

~ubuntu-branches/ubuntu/wily/acl2/wily

« back to all changes in this revision

Viewing changes to books/centaur/vl/checkers/dupeinst-check.lisp

  • Committer: Package Import Robot
  • Author(s): Camm Maguire
  • Date: 2015-01-16 10:35:45 UTC
  • mfrom: (3.3.26 sid)
  • Revision ID: package-import@ubuntu.com-20150116103545-prehe9thgo79o8w8
Tags: 7.0-1
New upstream release

Show diffs side-by-side

added added

removed removed

Lines of Context:
books/centaur/vl/checkers/dupeinst-check.lisp
119
119
       (x1 (car x))
120
120
       ((vl-modinst x1) x1)
121
121
 
122
 
       ((when (eq (vl-arguments-kind x1.portargs) :named))
 
122
       ((when (eq (vl-arguments-kind x1.portargs) :vl-arguments-named))
123
123
        ;; Args not resolved, skip it
124
124
        (vl-make-dupeinst-alist-aux (cdr x) alist))
125
125
 
188
188
  (b* (((when (atom x))
189
189
        nil)
190
190
       ((vl-modinst x1) (car x))
191
 
       ((when (eq (vl-arguments-kind x1.portargs) :named))
 
191
       ((when (eq (vl-arguments-kind x1.portargs) :vl-arguments-named))
192
192
        (raise "expected resolved args"))
193
193
       ((mv ?inputs outputs ?inouts ?unknowns)
194
194
        (vl-partition-plainargs (vl-arguments->args x1.portargs) nil nil nil nil))
233
233
                      (str::prefix-lines (with-local-ps
234
234
                                          ;; may help avoid unnecessary line wrapping
235
235
                                          (vl-ps-update-autowrap-col 200)
236
 
                                          (vl-pp-modinstlist modinsts nil nil))
 
236
                                          (vl-pp-modinstlist modinsts nil))
237
237
                                         "     ")
238
238
                      ;; These aren't printed, but we include them in the
239
239
                      ;; warning so our suppression mechanism can be
265
265
(define vl-design-dupeinst-check ((x vl-design-p))
266
266
  :returns (new-x vl-design-p)
267
267
  (b* ((x (vl-design-fix x))
268
 
       ((vl-design x) x))
269
 
    (change-vl-design x :mods (vl-modulelist-dupeinst-check x.mods))))
 
268
       ((vl-design x) x)
 
269
       (new-mods (vl-modulelist-dupeinst-check x.mods)))
 
270
    (clear-memoize-table 'vl-expr-strip)
 
271
    (change-vl-design x :mods new-mods)))