balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Bugfix: equality

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-06-03 01:31:33 +01:00 committed by Lesenechal Remi
parent 2c5f1f0e2b
commit 424a0b0ba7
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/stages/typesystem/misc.ml
View File

@ -230,7 +230,7 @@ module Substitution = struct
| P_forall p -> ( | P_forall p -> (
let aux c = constraint_ ~c ~substs in let aux c = constraint_ ~c ~substs in
let constraints = List.map aux p.constraints in let constraints = List.map aux p.constraints in
if (p.binder = v) then ( if (Var.equal p.binder v) then (
{ tsrc = "?TODO3?" ; t = P_forall { p with constraints } } { tsrc = "?TODO3?" ; t = P_forall { p with constraints } }
) else ( ) else (
let body = self p.body in let body = self p.body in