Skip to content
This repository

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse code

more declarative rewriting

  • Loading branch information...
commit b42fc6ecf40650941bc46d9d31a8b7e6a2b22bdd 1 parent 39cd863
Ilya Sergey authored

Showing 1 changed file with 2 additions and 3 deletions. Show diff stats Hide diff stats

  1. +2 3 sources/fj.rkt
5 sources/fj.rkt
@@ -140,7 +140,6 @@ anymore.
140 140 mbody : CT m C -> ((x ...) t)
141 141 ; m is defined in C
142 142 [(mbody CT m C)
143   - ; Map parameter entries to parameter names (i.e., take cadr)
144 143 ((x ...) t)
145 144 (where (class C extends D ((C_2 f_2) ...) K M ...)
146 145 (class-lookup CT C))
@@ -215,8 +214,8 @@ anymore.
215 214 ((in-hole E v_i) CT)
216 215 "(E-ProjNew)"
217 216 (where ((C_1 f_1) ...) (fields CT C))
218   - (where/hidden v_i ,(cadr (assoc (term f_i) (term ((f_1 v) ...)))))
219   - )
  217 + (where/hidden ((f_0 v_0) ... (f_i v_i) (f_i+1 v_i+1) ...)
  218 + ((f_1 v) ...)))
220 219
221 220 (--> ((in-hole E (call (new C v ...) m v_1 ...)) CT)
222 221 ((in-hole E (subst-many (x ...) (v_1 ...)

0 comments on commit b42fc6e

Please sign in to comment.
Something went wrong with that request. Please try again.