re-pp and re-include test file
==============================
This is a psuedo-Haskell script used to test the re-pp (and it cut-down
variant, re-include).
Here we have a couple of single-line vanilla code fragment.
\begin{code}
{-# LANGUAGE QuasiQuotes #-}
\end{code}
\begin{code}
{-# OPTIONS_GHC -fno-warn-missing-signatures #-}
\end{code}
And here is an empty one.
\begin{code}
\end{code}
The top main stuff:
%main top
A multi-line vanilla code fragment.
\begin{code}
import Control.Applicative
\end{code}
An (self-)include directive
%include "data/pp-test.lhs" "^evalme_PPT_01"
evalme frgment 1
\begin{code}
evalme_PPT_00 = checkThis "" (0) $ length []
\end{code}
evalme frgment 1
\begin{code}
evalme_PPT_01 = checkThis "" (Just 0) $ (length <$> Just [])
\end{code}
And the main bottom stuff.
%main bottom