Let-functions without non-ghost arguments
The following example is miscompiled because Compile
treats RLnone and RLls differently.
use int.Int
let function f (ghost x:int) = 42
let main () =
let y = f 26 in
y + 2
The following example is miscompiled because Compile
treats RLnone and RLls differently.
use int.Int
let function f (ghost x:int) = 42
let main () =
let y = f 26 in
y + 2