Handling unsafe blocks in source code

zilch-lang / nstar

The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch

BSD 3-Clause "New" or "Revised" License

29 stars 2 forks source link

Closed Mesabloo closed 3 years ago

Mesabloo commented 3 years ago

Implements ideas from #14.

This PR brings the following into N*:

unsafe block parsing as unsafe <instruction> or unsafe { <instructions> }
type-checking unsafe blocks by giving a safety indicator to each instruction type-checking construct
a slight modification of the parser to prevent instructions not separated by an end-of-line character