Skip to content

Commit 2441131

Browse files
committed
Include gj in the README
1 parent 5d4fc25 commit 2441131

2 files changed

Lines changed: 15 additions & 7 deletions

File tree

README.md

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -443,6 +443,7 @@ To generate the code for system M3, type the following in SBT:
443443
</code></pre>
444444

445445
This solution only generates for the first three evolutions.
446+
446447
## Data Types A La Carte
447448

448449
The 2008 paper [Data Types à la carte](https://doi.org/10.1017/S0956796808006758) by
@@ -456,17 +457,30 @@ To generate the code for system M3, type the following in SBT:
456457

457458
This solution only generates for the first three evolutions.
458459

460+
# GJ Solutions
461+
462+
We can generate gj code using the Wadler approach.
463+
464+
To generate the code for system M1, type the following in SBT:
465+
466+
<pre><code>
467+
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-cpp/runMain org.combinators.ep.language.gj.GenerateApproach wadler e1
468+
</code></pre>
469+
470+
This solution only generates for the first two evolutions, and there is no gj compiler available to validate it.
471+
459472
# Generate All Code
460473

461474
If you just want to generate all code for the different approaches, then do the following:
462475

463476
<pre><code>
464-
<b style='color:#5FCA1C'>></b> set %JAVA_HOME%=c:\progra~2\java\jdk1.8.0_161
477+
<b style='color:#5FCA1C'>></b> set JAVA_HOME=c:\progra~2\java\jdk1.8.0_161
465478
<b style='color:#5FCA1C'>></b> sbt
466479
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-cpp/runMain org.combinators.ep.language.cpp.GenerateAll
467480
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-haskell/runMain org.combinators.ep.language.haskell.GenerateAll
468481
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-java/runMain org.combinators.ep.language.java.GenerateAll
469482
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-scala/runMain org.combinators.ep.language.scala.GenerateAll
483+
<b style='color:#5FCA1C'>sbt:expression-problem></b> language-gj/runMain org.combinators.ep.language.gj.GenerateApproach
470484
<b style='color:#5FCA1C'>sbt:expression-problem></b> exit
471485
</code></pre>
472486

build.sbt

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,3 @@
1-
import play.sbt.PlayLayoutPlugin
2-
import play.twirl.sbt.SbtTwirl
3-
4-
51
/** Settings shared globally **/
62
lazy val commonSettings = Seq(
73
version := "1.0.0-SNAPSHOT",
@@ -80,8 +76,6 @@ lazy val domainShape = standardDomainProject("shape")
8076
def standardLanguageProject(languageName: String): Project =
8177
(Project(id = s"language-$languageName", base = file(s"language/$languageName")))
8278
.settings(commonSettings: _*)
83-
// .enablePlugins(PlayScala)
84-
// .disablePlugins(PlayLayoutPlugin)
8579
.settings(
8680
moduleName := s"expression-problem-language-$languageName",
8781
//libraryDependencies += guice

0 commit comments

Comments
 (0)