typer: bugfix: use "String.equal", not "="
This commit is contained in:
parent
77fdb739b6
commit
30dac09494
@ -274,7 +274,7 @@ module Substitution = struct
|
|||||||
let self tv = type_value ~tv ~substs in
|
let self tv = type_value ~tv ~substs in
|
||||||
let (v, expr) = substs in
|
let (v, expr) = substs in
|
||||||
match tv with
|
match tv with
|
||||||
| P_variable v' when v' = v -> expr
|
| P_variable v' when String.equal v' v -> expr
|
||||||
| P_variable _ -> tv
|
| P_variable _ -> tv
|
||||||
| P_constant (x , lst) -> (
|
| P_constant (x , lst) -> (
|
||||||
let lst' = List.map self lst in
|
let lst' = List.map self lst in
|
||||||
|
Loading…
x
Reference in New Issue
Block a user