← Back to branch summary

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

« back to all changes in this revision

Viewing changes to books/centaur/vl/transforms/xf-propagate.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/transforms/xf-propagate.lisp
161
161
  ((x vl-modinst-p))
162
162
  :returns (driven-names string-listp :hyp :fguard)
163
163
  (b* ((args (vl-modinst->portargs x))
164
 
       ((unless (eq (vl-arguments-kind args) :plain))
 
164
       ((unless (eq (vl-arguments-kind args) :vl-arguments-plain))
165
165
        ;; Could make this more general by just returning all exprs in this
166
166
        ;; case...
167
167
        (raise "args still named???")))
279
279
      (vl-exprlist-names (vl-fundecllist-allexprs x.fundecls))
280
280
      (vl-exprlist-names (vl-alwayslist-allexprs x.alwayses))
281
281
      (vl-exprlist-names (vl-initiallist-allexprs x.initials))
282
 
      (vl-exprlist-names (vl-vardecllist-allexprs x.vardecls))
283
282
      (vl-exprlist-names (vl-taskdecllist-allexprs x.taskdecls))
284
283
      (vl-exprlist-names (vl-paramdecllist-allexprs x.paramdecls))
285
 
      (vl-vardecllist->names x.vardecls)
 
284
      ;; (vl-exprlist-names (vl-vardecllist-allexprs x.vardecls))
 
285
      ;; (vl-vardecllist->names x.vardecls)
286
286
      (vl-taskdecllist->names x.taskdecls)
287
287
      (vl-paramdecllist->names x.paramdecls)
288
288
      ))))
407
407
   (limits propagate-limits-p))
408
408
  :returns (new-x vl-module-p)
409
409
  (b* ((x (vl-module-fix x))
410
 
       ((vl-module x) x)
411
410
       ((when (vl-module->hands-offp x))
412
411
        x)
413
412
       ;; We no longer prohibit this.  Instead we try to prevent it from