suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

macro-stepper: added second error location for set!

Browse Source 
svn: r16886
This commit is contained in:
Ryan Culpepper 2009-11-19 04:39:21 +00:00
parent 77ae545fe6
commit 89385ad309
3 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
collects/macro-debugger/model/deriv-c.ss
View File

@ -58,12 +58,12 @@
;; (make-p:#%expression <Base> Deriv ?Stx)
;; (make-p:if <Base> Boolean Deriv Deriv Deriv)
;; (make-p:wcm <Base> Deriv Deriv Deriv)
;; (make-p:set! <Base> Rs Deriv)
;; (make-p:set! <Base> Rs ?Exn Deriv)
;; (make-p:set!-macro <Base> Rs Deriv)
(define-struct (p:#%expression prule) (inner untag) #:transparent)
(define-struct (p:if prule) (test then else) #:transparent)
(define-struct (p:wcm prule) (key mark body) #:transparent)
(define-struct (p:set! prule) (id-resolves rhs) #:transparent)
(define-struct (p:set! prule) (id-resolves ?2 rhs) #:transparent)
(define-struct (p:set!-macro prule) (deriv) #:transparent)
;; (make-p:#%app <Base> Stx LDeriv)

5
collects/macro-debugger/model/deriv-parser.ss
View File

@ -486,8 +486,9 @@
(PrimSet
(#:args e1 e2 rs)
[(prim-set! ! Resolves next (? EE))
(make p:set! e1 e2 rs $2 $3 $5)]
;; Unrolled to avoid shift/reduce
[(prim-set! ! resolve Resolves ! next (? EE))
(make p:set! e1 e2 rs $2 (cons $3 $4) $5 $7)]
[(prim-set! Resolves (? MacroStep) (? EE))
(make p:set!-macro e1 e2 rs #f ($3 e1 $2 $4))])

3
collects/macro-debugger/model/reductions.ss
View File

@ -235,10 +235,11 @@
(R [! ?1]
[#:pattern ?form]
[Expr ?form deriv])]
[(Wrap p:set! (e1 e2 rs ?1 id-rs rhs))
[(Wrap p:set! (e1 e2 rs ?1 id-rs ?2 rhs))
(R [! ?1]
[#:pattern (?set! ?var ?rhs)]
[#:learn id-rs]
[! ?2]
[Expr ?rhs rhs])]
;; Macros