blob: e55bda05a6a7bed13feb36ef6a3d77238cdec1b2 (
plain)
1
2
3
4
5
6
7
|
(* Checking that the type inference algoithme does not commit to an
equality over sorts when only a subtyping constraint is around *)
Parameter A : Set.
Parameter B : A -> Set.
Parameter F : Set -> Prop.
Check (F (forall x, B x)).
|
