added the NI prints for the array literal

There was a mistake: Store array instructions should print an NI
instruction.

Runs the proper version of the compiler.

These examples serve as tests

Checked out from EX3 to make tests pass

Fixed manually:
- function.teal0.expected
- nonnull-local.teal1.expected
- nonnull-global.teal1.expected

The ASTNode locations were not correct. We fixed them

Alexandru Dura authored Nov 27, 2020 and Christoph Reichenbach committed Nov 27, 2020

The file
compiler/testfiles/semacheck/teal1/nonnull-local.teal3.expected
is intentionally empty.

Alexandru Dura authored Nov 27, 2020 and Christoph Reichenbach committed Nov 27, 2020

This check is TEAL-1 specific, as TEAL-0 does not have qualifiers
and TEAL-3 implements them in another way.

The file
compiler/testfiles/semacheck/teal1/nonnull-global.teal3.expected
is intentionally empty (since nonnull is a name error in TEAL-3).

Alexandru Dura authored Nov 26, 2020 and Christoph Reichenbach committed Nov 27, 2020

Remove code duplication between TEAL-0 and TEAL-3 IR implementations.

Alexandru Dura authored Nov 26, 2020 and Christoph Reichenbach committed Nov 27, 2020

The qualifiers are attched to the array object and are checked
dynamically, each time an element is assigned.