I figured the easiest way in my case to recover from this mess was to make a new branch with all my changes. We wanted to squash anyway...
As we agreed, I removed the testing bash script so it will work with all OSes, until we make a robust convenience script in OCaml for testing Reason syntax
This PR does not support the verify step
This PR does not support the reason -> Core Erlang target, only reason -> Erlang.
Closes #18
I accidentally screwed up my previous branch and it resulted in GitHub automatically closing the PR I was working with (https://github.com/AbstractMachinesLab/caramel/pull/46)
I figured the easiest way in my case to recover from this mess was to make a new branch with all my changes. We wanted to squash anyway...
verifystepreason -> Core Erlangtarget, onlyreason -> Erlang.