pp-test.lhs

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