blob: 98b613ba35c8e9d76920ee6bb07c838525ab9b9a (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
(* Interaction between coercions and casts *)
(* Example provided by Eduardo Gimenez *)
Parameter Z,S:Set.
Parameter f: S -> Z.
Coercion f: S >-> Z.
Parameter g : Z -> Z.
Check [s](g (s::S)).
|