Loading ...
Sorry, an error occurred while loading the content.

2447Re: "ocaml_beginners"::[] A question about "option"

Expand Messages
  • Benjamin Geer
    Aug 1, 2004
    • 0 Attachment
      Andy Yang wrote:
      > Here, "option" is not used in the 'a option form. Does
      > it mean tha outChannel and mergedChannel are two weak
      > pointer to references, and these two referenced can be
      > reclaimed by the garbage collector at any time?

      No. The option type has nothing to do with weak pointers.

      Ben
    • Show all 7 messages in this topic