aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCamil Staps2018-01-04 11:17:25 +0100
committerCamil Staps2018-01-04 11:17:25 +0100
commit8cc94ac05805c529bfeae84f6cf49109a72150a5 (patch)
treeb3eba9e6ff0c1c2aa0f01be1e2463920e414f5e8
parentRemove part about unification search; small updates (diff)
Cocl -> Pretty printer in new architecture; note about using hoogle instead
-rw-r--r--cloogle.tex10
-rw-r--r--clooglearch.sty25
2 files changed, 26 insertions, 9 deletions
diff --git a/cloogle.tex b/cloogle.tex
index fac9f80..fea32b6 100644
--- a/cloogle.tex
+++ b/cloogle.tex
@@ -150,7 +150,7 @@
\begin{tikzpicture}[every node/.style={draw,block}]
\useasboundingbox (-5,-4) rectangle (3.5,4);
\tikzsource
- \tikzbuilddb
+ \tikzbuilddb[1]
\only<1>{%
\tikzbackend[1]
\tikzcache[1]
@@ -289,6 +289,14 @@
\end{itemize}
\end{frame}
+\subsection{Couldn't you use Hoogle?}
+\begin{frame}{Couldn't you use Hoogle?}
+ \begin{itemize}
+ \item When we started we didn't realise it would be so much work
+ \item Right now, having the pipeline set up turns out to be really useful for other goals as well
+ \end{itemize}
+\end{frame}
+
\subsection{Numbers}
\begin{frame}{Numbers\setcounter{footnote}{0}\footnotemark}
\setcounter{footnote}{1}
diff --git a/clooglearch.sty b/clooglearch.sty
index b0498e4..9128042 100644
--- a/clooglearch.sty
+++ b/clooglearch.sty
@@ -40,15 +40,21 @@
\pic (src) at (-5,3) {doc};
\node[left=3pt of src-west,draw=none,text width=3em] {\scriptsize Source\\code};
}
-\def\tikzbuilddb{%
- \node (cocl) at (-2.5, 3.5 ) {\module{Clean}{Clean compiler}};
- \node (ppr) at (-2.5, 2.5 ) {\module{Clean}{Pretty printer}};
- \pic (db) at ( 0, 2.98) {db};
+\newcommand{\tikzbuilddb}[1][0]{%
+ \node (cocl) at (-3, 3.5 ) {\module{Clean}{Clean compiler}};
+ \ifold#1
+ \node (ppr) at (-2.5, 2.5 ) {\module{Clean}{Pretty printer}};
+ \else
+ \node (ppr) at (-2.5, 2.2 ) {\module{Clean}{Pretty printer}};
+ \fi
+ \pic (db) at ( 0, 2.98) {db};
\node[right=3pt of db-east,draw=none] {\module{\tiny JSON}{\scriptsize Database}};
- \draw[->] ($(src-east)+(0,0.18)$) -- (cocl.west);
- \draw[->] ($(src-east)-(0,0.18)$) -- (ppr.west);
- \draw[->] (cocl.east) -- ($(db-west)+(0,0.18)$);
- \draw[->] (ppr.east) -- ($(db-west)-(0,0.18)$);
+ \draw[->] (src-east) -- (cocl.west);
+ \draw[->] (cocl) -- (ppr);
+ \ifold#1
+ \draw[->] (cocl.east) -- ($(db-west)+(0,0.18)$);
+ \draw[->] (ppr.east) -- ($(db-west)-(0,0.18)$);
+ \fi
}
\newcommand{\tikzbackend}[1][0]{%
\node[color=\grayedout#1] (web) at (0, \oldornew{#1}{1}) {\module{Clean, PHP, JS}{\ifold#1\bf\fi cloogle.org}};
@@ -58,6 +64,9 @@
\draw (uni) -- (web);
\else
\node (core) at (0,1.5) {\module{Clean}{\textbf{Cloogle}}};
+ \draw[->] (cocl) edge[bend left] (core);
+ \draw[->] (ppr) -- (core);
+ \draw[<->] (core) -- (db-south);
\draw (uni) -- (core);
\draw[->] (db-south) -- (core);
\draw[color=\grayedout#1,->] (core) -- (web);