diff options
author | Camil Staps | 2018-01-04 11:17:25 +0100 |
---|---|---|
committer | Camil Staps | 2018-01-04 11:17:25 +0100 |
commit | 8cc94ac05805c529bfeae84f6cf49109a72150a5 (patch) | |
tree | b3eba9e6ff0c1c2aa0f01be1e2463920e414f5e8 | |
parent | Remove part about unification search; small updates (diff) |
Cocl -> Pretty printer in new architecture; note about using hoogle instead
-rw-r--r-- | cloogle.tex | 10 | ||||
-rw-r--r-- | clooglearch.sty | 25 |
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); |