simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 04:35:35 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(lit): add type checking assertion

Browse source
This commit is contained in:
Simon Cruanes 2022-09-11 14:09:03 -04:00
parent fad651a4cb
commit 67c9ffa2ac
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/core/lit.ml
View file

@ -13,6 +13,7 @@ let[@inline] make_ ~sign t : t = { lit_sign = sign; lit_term = t }
let atom ?(sign = true) tst (t : term) : t = let atom ?(sign = true) tst (t : term) : t =
let sign', t = T_builtins.abs tst t in let sign', t = T_builtins.abs tst t in
assert (T_builtins.is_bool (Term.ty t));
let sign = sign = sign' in let sign = sign = sign' in
make_ ~sign t make_ ~sign t