juvix icon indicating copy to clipboard operation
juvix copied to clipboard

Inlining doesn't always work

Open lukaszcz opened this issue 2 years ago • 0 comments

For example in

module inline;

import Stdlib.Prelude open;

C : Int := 890534859083459034583;

main : Int := C;

the function C is not inlined in main.

lukaszcz avatar Apr 19 '24 14:04 lukaszcz