We include the following files:
build.sbt
, with our SBT settingssrc/rep.scala
, with the representation of our systemsrc/type_checking.scala
, with our typechecker and linkage creation/concatenation enginesrc/code_generation.scala
, our translator to Scala codesrc/parser.scala
, with our parsersrc/name_resolution.scala
, with our name resolversrc/util.scala
, with the pretty-printing capabilities for linkagessrc/main.scala
, with end to end runningtest/testing.scala
, our testing suiteres/*
, with some sample programs
To run the tests, sbt test
To generate code, first create mkdir -p test/gen
once.
Then do sbt "run EXAMPLE_FILE"
.
For example, sbt "run res/pretty_example"
.
The generated code will be in test/gen
and can be compiled with sbt test
.
The files res/*scala
contains example main runs for the test. They can be copied to test/gen
and ran with sbt test:run
.