complete test with 'with type ... :=' structure
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@10278 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
8d84e2b64b
commit
be8304eeaa
|
@ -1,2 +1,4 @@
|
|||
module Foo = struct type t = int let x = 1 end;;
|
||||
module Foo = struct type u type t = int let x = 1 end;;
|
||||
module type TFoo = module type of Foo;;
|
||||
|
||||
module type TBar = TFoo with type u := float;;
|
||||
|
|
|
@ -4,3 +4,5 @@
|
|||
# module T02.Foo:
|
||||
#
|
||||
# module type T02.TFoo:
|
||||
#
|
||||
# module type T02.TBar:
|
||||
|
|
Loading…
Reference in New Issue