Neel Krishnaswami wrote:
> 
>   module type FOO =
>     sig
>       type t
>       val v : t
>     end
>   
>   module type BAR = (* This is a subtype of FOO *)
>     sig
>       type t
>       val v : t
>       val v' : t
>     end
> 
> Notice that there's no syntax to abbreviate the definition of BAR;

Sure there is:

    module type BAR =
      sig
        include FOO
        val v' : t
      end

should work like a charm. ;-)

-- 
Andreas Rossberg, rossberg@ps.uni-sb.de

"Computer games don't affect kids; I mean if Pac Man affected us
  as kids, we would all be running around in darkened rooms, munching
  magic pills, and listening to repetitive electronic music."
  - Kristian Wilson, Nintendo Inc.

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners