From: AdaMagica <christ-usch.grein@t-online.de>
Subject: Re: Contraint error when "out" parameter has incorrect initial content
Date: Sun, 25 Aug 2013 07:31:11 -0700 (PDT)
Date: 2013-08-25T07:31:11-07:00 [thread overview]
Message-ID: <f0c0ffcd-3875-4f00-8ebb-be718b29dfed@googlegroups.com> (raw)
In-Reply-To: <54258ffb-a99c-48d8-8d2b-02694efb6d36@googlegroups.com>
RM 6.4.1(16) A formal parameter of mode in out or out with discriminants is constrained if either its nominal subtype or the actual parameter is constrained.
Thus the compiler may assume that variables supplied to calls already have the correct subtype.
next prev parent reply other threads:[~2013-08-25 14:31 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-08-25 14:07 Contraint error when "out" parameter has incorrect initial content pascal.malaise
2013-08-25 14:31 ` AdaMagica [this message]
2013-08-25 14:49 ` Niklas Holsti
2013-08-25 16:47 ` AdaMagica
2013-08-25 15:25 ` pascal.malaise
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox