Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

[fix] Wrong coercion for [inter] and [union]. Confused ColSet.elt and…

… ColSet.t.
  • Loading branch information...
commit a2b6d17b29c32ded78260381eb173b073572d94d 1 parent bbc9a9d
@fpessaux fpessaux authored
Showing with 2 additions and 2 deletions.
  1. +2 −2 src/colset.opa
View
4 src/colset.opa
@@ -36,8 +36,8 @@ type ColSet.t = int
add(i : ColSet.elt, set : ColSet.t) : ColSet.t =
Int.lor(set, Int.lsl(1, i))
- inter = Int.land : ColSet.elt, ColSet.elt -> ColSet.elt
- union = Int.lor : ColSet.elt, ColSet.elt -> ColSet.elt
+ inter = Int.land : ColSet.t, ColSet.t -> ColSet.t
+ union = Int.lor : ColSet.t, ColSet.t -> ColSet.t
fold(fold, set : ColSet.t, acc) =
rec aux(elt, set, acc) =
Please sign in to comment.
Something went wrong with that request. Please try again.