From: Shark8 <onewingedshark@gmail.com>
Subject: Re: "end of declaration"
Date: Wed, 10 Feb 2021 13:08:43 -0800 (PST) [thread overview]
Message-ID: <6c37665d-e615-48e5-be6d-3c862d18917bn@googlegroups.com> (raw)
In-Reply-To: <28d57bf5-eb21-4ec4-b44d-896edcc5cc52n@googlegroups.com>
> otherwise, operations for t_proba are redefined in the visible (and body) part so recursion will occur.
What?
No, "Type J is new K" gives you a completely new type.
To use a function that requires a K-value with a J-value you have to explicitly convert; given "Steve : J" and "-"(Right: K) return K, you would have to use -(K(Steve)) to call the unary-minus for K.
next prev parent reply other threads:[~2021-02-10 21:08 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-02-10 18:39 "end of declaration" Mehdi Saada
2021-02-10 19:06 ` AdaMagica
2021-02-10 19:21 ` Egil H H
2021-02-10 19:31 ` Mehdi Saada
2021-02-10 21:08 ` Shark8 [this message]
2021-02-10 22:43 ` Niklas Holsti
2021-02-10 20:59 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox