update'

git pus

diff --git a/.gitignore b/.gitignore
index 42f32dd..ec728ed 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -5,3 +5,4 @@ spl.1
 *.prj
 a.out
 rwst
+*.jar

diff --git a/deliverables/report/pars.tex b/deliverables/report/pars.tex
index cef446b..8a2029c 100644 (file)
--- a/deliverables/report/pars.tex
+++ b/deliverables/report/pars.tex
@@ -1,4 +1,9 @@
 \section{Lexing \& parsing}
+\subsection{Yard}
+
+\subsection{Lexing}
+
+\subsection{Parsing}
 %On March 10 you have to give a very brief presentation.  In this presentation you tell the other
 %students and us how your parser is constructed and demonstrate your parser and pretty printer.
 %You should mention things like implementation language used, changes to the grammar, and other

diff --git a/deliverables/report/report.tex b/deliverables/report/report.tex
index d3f4349..42e494f 100644 (file)
--- a/deliverables/report/report.tex
+++ b/deliverables/report/report.tex
@@ -14,8 +14,35 @@
        breaklines
 }
 
+\newcommand{\SPLC}{\texttt{SPLC}}
+\newcommand{\SPL}{\texttt{SPLC}}
+\newcommand{\SSM}{\texttt{SPLC}}
+
 \begin{document}
 \maketitle
+\section{Introduction}
+\SPLC{} is a program that, in several phases, generates \SSM{}
+assembly for a given \SPL{} program. \SPLC{} is a program that acts as a
+filter. The tool reads the standard input and the output is printed on standard
+output. By default only the generated assembly code is outputted. But if the
+user wants to inspect outputs of intermediate phases it can be done so by
+setting command line flags. Listing~\ref{lst:splchelp} shows the output for
+\texttt{spl -h}. There is also a \emph{manpage} that shows the same info.
+
+\begin{lstlisting}[label={lst:splchelp},caption={\texttt{./spl -h}}]
+Usage: spl [OPTION] [FILE]
+<splc> ::= <spl> <compiler>
+Compile spl code from FILE or stdin
+
+Options:
+  --help             Show this help
+  --version          Show the version
+  --[no-]lex         Lexer output(default: disabled)
+  --[no-]parse       Parser output(default: disabled)
+  --[no-]sem         Semantic analysis output(default: disabled)
+  --[no-]code        Code generation output(default: enabled)
+\end{lstlisting}
+
 \input{pars.tex}
 
 \input{sem.tex}

diff --git a/examples/higher.spl b/examples/higher.spl
index 3e923d7..c5bac9e 100644 (file)
--- a/examples/higher.spl
+++ b/examples/higher.spl
@@ -34,10 +34,18 @@ intList(x){
        }
 }
 
+plus(x, y){
+       return x + y;
+}
+
 main(){
     var x = 5;
-       print("faculty of 5 is: ", foldr(\x y->x*y, 1, intList(5)));
-       print("sum of 1..5 is: ", foldr(\x y->x+y, 0, intList(5)));
-       print("sum of 0..12 but only the evens: ",
-               foldr(\x y->x+y, 0, filter(\x->x%2 == 0, intList(12))));
+
+       var a = plus(3);
+       print("3+5=", a(5));
+
+//     print("faculty of 5 is: ", foldr(\x y->x*y, 1, intList(5)));
+//     print("sum of 1..5 is: ", foldr(\x y->x+y, 0, intList(5)));
+//     print("sum of 0..12 but only the evens: ",
+//             foldr(\x y->x+y, 0, filter(\x->x%2 == 0, intList(12))));
 }

diff --git a/examples/peano.spl b/examples/peano.spl
index 1c2cb78..f8e8c70 100644 (file)
--- a/examples/peano.spl
+++ b/examples/peano.spl
@@ -1,3 +1,15 @@
+ackerman(m, n){
+       if(m ==0){
+               return n+1;
+       } else {
+               if(m>0 && n == 0){
+                       return ackerman(m-1, 1);
+               } else {
+                       return ackerman(m-1, ackerman(m, n-1));
+               }
+       }
+}
+
 hyper(n, a, b){
        if(n == 0){                                     return b + 1;
        } else { if(b == 0 && n == 1){  return a;
@@ -13,4 +25,29 @@ main(){
        print("3*3=", hyper(2, 3, 3));
        print("3^4=", hyper(3, 3, 4));
        print("2|3=", hyper(4, 2, 3));
+       
+       print("a(0, 0)=", ackerman(0, 0));
+       print("a(0, 1)=", ackerman(0, 1));
+       print("a(0, 2)=", ackerman(0, 2));
+       print("a(0, 3)=", ackerman(0, 3));
+
+       print("a(1, 0)=", ackerman(1, 0));
+       print("a(1, 1)=", ackerman(1, 1));
+       print("a(1, 2)=", ackerman(1, 2));
+       print("a(1, 3)=", ackerman(1, 3));
+
+       print("a(2, 0)=", ackerman(2, 0));
+       print("a(2, 1)=", ackerman(2, 1));
+       print("a(2, 2)=", ackerman(2, 2));
+       print("a(2, 3)=", ackerman(2, 3));
+
+       print("a(3, 0)=", ackerman(3, 0));
+       print("a(3, 1)=", ackerman(3, 1));
+       print("a(3, 2)=", ackerman(3, 2));
+       print("a(3, 3)=", ackerman(3, 3));
+
+       print("a(4, 0)=", ackerman(4, 0));
+/*     print("a(4, 1)=", ackerman(4, 1));
+       print("a(4, 2)=", ackerman(4, 2));
+       print("a(4, 3)=", ackerman(4, 3));*/
 }

diff --git a/spl.icl b/spl.icl
index 4305f8d..6c75e68 100644 (file)
--- a/spl.icl
+++ b/spl.icl
@@ -56,7 +56,7 @@ Start w
 # (stdin, w) = stdio w
 | args.version
        # stdin = stdin 
-               <<< "spl 0.1 (17 march 2016)\n"
+               <<< "spl 1.0 (9 June 2016)\n"
                <<< "Copyright Pim Jager and Mart Lubbers\n"
        = snd $ fclose stdin w
 | args.help