Module naming

From: Max Skaller (maxs@in.ot.com.au)
Date: Wed Feb 02 2000 - 02:39:11 MET

Next message: Stéphane Baubillier: "Re: Partial Evaluation"

Previous message: Stephan Houben: "inlining functions called through functor parameters?"
Next in thread: Andreas Rossberg: "Re: Module naming"
Reply: Andreas Rossberg: "Re: Module naming"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I'm confused: why doesn't this work? [I get unbound type ctor message]
[shortened version]

module type X = sig type one end
module type Y = sig type two end
module type XY = sig module type XX = X module type YY = Y end
module type Client = functor (T: XY) ->
sig val f: T.XX.one -> unit end
^^^^^^^^

What I expected was that T.XX.one would refer to the
type X.one, but this doesn't seem to be the case.

-- 
John (Max) Skaller at OTT [Open Telecommications Ltd]
mailto:maxs@in.ot.com.au      -- at work
mailto:skaller@maxtal.com.au  -- at home

Next message: Stéphane Baubillier: "Re: Partial Evaluation"
Previous message: Stephan Houben: "inlining functions called through functor parameters?"
Next in thread: Andreas Rossberg: "Re: Module naming"
Reply: Andreas Rossberg: "Re: Module naming"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Wed Feb 02 2000 - 16:09:51 MET