Polymorphic extensible records with structural subtyping for Dotty.

Using fork of Dotty 0.8 compiler: https://github.com/obkson/dotty/tree/dotty-records

W.I.P

Clone the Dotty 0.8 fork into some folder DOTTY_HOME

$ (cd DOTTY_HOME/.. && git clone git@github.com:obkson/dotty.git)

Build compiler and install / copy required artefacts into the local repo

$ ./install_deps.sh DOTTY_HOME

NOTE! If re-compiling the local dotty fork, the local maven cache must be purged before the change will take effect. To facilitate this, uncommend the last line in install_deps.sh:

rm -r ~/.m2/repository/ch/epfl/lamp

Compile and package

mvn clean package

TODO... at the moment unclear how to run junit tests with maven using local version of Dotty...

mvn clean compile assembly:single

java -jar target/dotty-records_0.8-0.1-jar-with-dependencies.jar