@@ -443,6 +443,7 @@ To generate the code for system M3, type the following in SBT:
443443</code ></pre >
444444
445445This solution only generates for the first three evolutions.
446+
446447## Data Types A La Carte
447448
448449The 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
457458This 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
461474If 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
0 commit comments