"Stack & PRE" error

[myCrack]

# test.mpl

pfunc: [{PRE:CALL:;;}];
fact: [[] [0 .Fail] uif];

f: [];
f: [_:; 0 .Abort] [0 .DoNothing] pfunc;

(f) ()     # Two empty lists.
printStack # Stack depth must be 2.
same fact  # Two empty lists must be the same, so this check must not fail.

> mplc -version && mplc test.mpl
MPL compiler version 200817 debug
stack:
depth=1
{}'RT
test.mpl(4,14): error, [.Fail], not a combined
test.mpl(11,6): [fact], called from here
test.mpl(1,1): [], called from here

As we can see from the comments and the output - the compilation didn't turn out the way we expected.

[MatwayBurkow]

Not reproducible in 200821.

>mplc -version && mplc test.mpl
MPL compiler version 200821 debug
stack:
depth=2
{}'RT
{}'RT

[myCrack]

We have another error - list's items leak:

# test.mpl

pfunc: [{PRE:CALL:;;}];
fact: [[] [0 .Fail] uif];

f: [42];
f: [_:; 0 .Abort] [0 .DoNothing] pfunc;

(f) (42)   # Two non-empty lists.
printStack # Stack depth must be 2.
same fact

> mplc -version && mplc test.mpl
MPL compiler version 200821 debug
stack:
depth=3
{:i32;}RT
{}'RT
i32CT static: 42
test.mpl(4,14): error, [.Fail], not a combined
test.mpl(11,6): [fact], called from here
test.mpl(1,1): [], called from here