Inlining doesn't always work

[lukaszcz]

For example in

module inline;

import Stdlib.Prelude open;

C : Int := 890534859083459034583;

main : Int := C;

the function C is not inlined in main.