From: <abau@imn.htwk-leipzig.de>
To: <caml-list@yquem.inria.fr>
Subject: Re: [Caml-list] define incompatible type
Date: Fri, 12 Feb 2010 10:25:43 +0100 [thread overview]
Message-ID: <20100212092543.D4AEDAEE1@smtp.imn.htwk-leipzig.de> (raw)
On Fri, 12 Feb 2010 13:13:33 +0530
Grégoire Seux <kamaradclimber@gmail.com> wrote:
> too bad it does not exist !
>From ocaml language definition:
> The optional type equation "= typexpr" makes the defined type
> equivalent to the type expression "typexpr" on the right of the "="
> sign: one can be substituted for the other during typing.
When "type foo = int" then foo is just a type alias for int and
therefor it can/will be substituted by int.
_____________________________________________
HTWK Leipzig FbIMN Webmail, https://webmail.imn.htwk-leipzig.de
next reply other threads:[~2010-02-12 9:25 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-02-12 9:25 abau [this message]
-- strict thread matches above, loose matches on Subject: below --
2010-02-12 6:32 Grégoire Seux
2010-02-12 7:33 ` [Caml-list] " David Rajchenbach-Teller
2010-02-12 7:43 ` Grégoire Seux
2010-02-12 10:59 ` David Allsopp
2010-02-12 20:26 ` Guillaume Yziquel
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20100212092543.D4AEDAEE1@smtp.imn.htwk-leipzig.de \
--to=abau@imn.htwk-leipzig.de \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox