In/out contract inheritance in gdc

Leandro Lucarella luca at llucax.com.ar
Fri Apr 13 17:11:43 PDT 2012


Joseph Rushton Wakeling, el 13 de abril a las 23:36 me escribiste:
> Hello all,
> 
> I've come across a compilation problem with gdc 4.6.3 (the package
> in the Ubuntu repositories).
> 
> I have some code, available from
> https://github.com/WebDrake/SampleD
> 
> ... which uses in contracts on some class functions: a base class
> has one in contract for one of its methods (lines 16-26), and a
> subclass overrides this method and provides its own in contract
> (lines 50-66).
> 
> If I compile without the -release switch, e.g.
> 
>    gdmd -O -inline -oftest sampled.d
> 
> I get the following error:
> 
>    sampled.d:50: Error: function [classname].select cannot get frame pointer to
>    __require

Doesn't look exactly like the same problem, but just in case, you might
want to take a look at this bug:
http://d.puremagic.com/issues/show_bug.cgi?id=7699

-- 
Leandro Lucarella (AKA luca)                     http://llucax.com.ar/
----------------------------------------------------------------------
GPG Key: 5F5A8D05 (F8CD F9A7 BF00 5431 4145  104C 949E BFB6 5F5A 8D05)
----------------------------------------------------------------------
If you don't know what direction you should take
You don't know where you are


More information about the D.gnu mailing list