@@ -198,18 +198,15 @@ extension syn ns rules =
198198 = PDPair fc hls p (update ns l) (update ns t) (update ns r)
199199 update ns (PAlternative ms a as) = PAlternative ms a (map (update ns) as)
200200 update ns (PHidden t) = PHidden (update ns t)
201− update ns (PDoBlock ds) = PDoBlock $ upd ns ds
202− where upd :: [(Name, SynMatch)] -> [PDo] -> [PDo]
203− upd ns (DoExp fc t : ds) = DoExp fc (update ns t) : upd ns ds
204− upd ns (DoBind fc n nfc t : ds) = DoBind fc n nfc (update ns t) : upd (dropn n ns) ds
205− upd ns (DoLet fc n nfc ty t : ds) = DoLet fc n nfc (update ns ty) (update ns t)
206− : upd (dropn n ns) ds
207− upd ns (DoBindP fc i t ts : ds)
208− = DoBindP fc (update ns i) (update ns t)
201+ update ns (PDoBlock ds) = PDoBlock $ map (upd ns) ds
202+ where upd :: [(Name, SynMatch)] -> PDo -> PDo
203+ upd ns (DoExp fc t) = DoExp fc (update ns t)
204+ upd ns (DoBind fc n nfc t) = DoBind fc n nfc (update ns t)
205+ upd ns (DoLet fc n nfc ty t) = DoLet fc n nfc (update ns ty) (update ns t)
206+ upd ns (DoBindP fc i t ts)
207+ = DoBindP fc (update ns i) (update ns t)
209208 (map (\(l,r) -> (update ns l, update ns r)) ts)
210− : upd ns ds
211− upd ns (DoLetP fc i t : ds) = DoLetP fc (update ns i) (update ns t)
212− : upd ns ds
209+ upd ns (DoLetP fc i t) = DoLetP fc (update ns i) (update ns t)
213210 update ns (PGoal fc r n sc) = PGoal fc (update ns r) n (update ns sc)
214211 update ns t = t
215212