Changeset 2828 for src/semantics.ma

Timestamp:
Mar 8, 2013, 11:17:44 PM (7 years ago)
Author:
sacerdot
Message:
  1. New semantics.ma file that puts together all semantics. It contains a function to observe the semantics of an intermediate program. Note: the type of backend semantics is currently wrong because of the stack cost! If you observe a back-end language now, it will core dump.
  2. Added observations into compiler.ma
File:
1 added

Note: See TracChangeset for help on using the changeset viewer.