test.why 252 Bytes
Newer Older
1 2 3

(* test file *)

4 5 6 7
theory ThA
    type 'a t = None | Some ('a)
    type s
    logic c : s
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
8 9
end

10 11 12 13 14 15
theory ThB
    use export prelude.List
    clone ThA with type s = int
end

theory ThC
16
end
Jean-Christophe Filliâtre's avatar
logic  
Jean-Christophe Filliâtre committed
17

Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
18

Jean-Christophe Filliâtre's avatar
prelude  
Jean-Christophe Filliâtre committed
19 20 21 22 23
(*
Local Variables: 
compile-command: "make -C .. test"
End: 
*)