17137.mlw 188 Bytes
Newer Older
MARCHE Claude's avatar
details    
MARCHE Claude committed
1
2
3
4
5
6
7
8
9
10

theory A type t 'a end
theory B
clone export A
clone export A with type t 'a = t 'a
end
theory C
clone export A
clone export B with type t 'a = t 'a (* Error reported on this line *)
end