LibertyEiffel/Liberty — Issue #18: Internals brokes
Author: tybor
Created: 2012-01-20 11:33:22+00:00
State: open

Try compiling https://github.com/LibertyEiffel/Liberty/blob/master/test/lib/kernel/test_internals_01.e
You get
Attribute #1 'assertion_level': INTEGER_32 (INTEGER_32, expanded: False)
ERROR: (label_)assert call number 2 in class TEST_INTERNALS_01 failed.
Rerun this test under the -sedb debugger to find out what is going wrong.
Assertion level was all_check.

Yet INTEGER_32 is obviously expanded....