The order if bindings generated by GHC

[Victor Nazarov]

> ==================== STG syntax: ====================
> Foo.zero = NO_CCS Foo.Zero! [];
> SRT(Foo.zero): []
> Foo.one = NO_CCS Foo.Succ! [Foo.Zero];
> SRT(Foo.one): []
> Foo.ten = NO_CCS Foo.Succ! [Foo.one];
> SRT(Foo.ten): []
> Foo.Zero = NO_CCS Foo.Zero! [];
> SRT(Foo.Zero): []
> Foo.Succ = \r [eta_s68] Foo.Succ [eta_s68];
> SRT(Foo.Succ): []
>

In this output the dependecy is as follows:
Foo.zero `depends_on` []
Foo.one  `depends_on` [Foo.Zero] -- this is the source of my question
Foo.ten `depends_on` [Foo.one]
Foo.Zero `depends_on` []
Foo.Succ `depends_on` []

Foo.one here saves the Foo.Zero as an argument of constructor
application, i. e. saves Foo.Zero's address in one of the allocated
closure's field. So I think Foo.Zero must be defined before Foo.one.
--

vir
http://vir.comtv.ru/