<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/ef445170aabc78ef9d83bf0884c13ff5"
  from="Brian Naylor &lt;bwv211mail@y...&gt;"
  author="Brian Naylor"
  date="2002-07-16T21:06:22"
  subject="[Caml-list] functor type abbreviations"
  prev="2002/07/6bcc4253e5a87e6a40f9683a9fea754d"
  next="2002/07/559d8c8c619d2fdc4d87eb6f282dca61"
  prev-thread="2002/07/e81b73bce67f7e5d0f3b86f58223fa7a"
  next-thread="2002/07/559d8c8c619d2fdc4d87eb6f282dca61"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="[Caml-list] functor type abbreviations">
<msg 
  url="2002/07/ef445170aabc78ef9d83bf0884c13ff5"
  from="Brian Naylor &lt;bwv211mail@y...&gt;"
  author="Brian Naylor"
  date="2002-07-16T21:06:22"
  subject="[Caml-list] functor type abbreviations">
</msg>
</thread>

<contents>
Would it be possible to add an abbreviation syntax for functor types similar to
that used for functor definitions?

module Func (A : ASIG) (B : BSIG) = struct ... end (* this works *)

module Func (A : ASIG) (B : BSIG) : sig ... end (* can we add this? *)

Thanks!


__________________________________________________
Do You Yahoo!?
Yahoo! Autos - Get free new car price quotes
http://autos.yahoo.com
-------------------
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

</contents>

</message>

