diff options
Diffstat (limited to 'web/glasgow/lit2x-0.16/literate/lit-2pgm-hs.lprl')
-rw-r--r-- | web/glasgow/lit2x-0.16/literate/lit-2pgm-hs.lprl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/web/glasgow/lit2x-0.16/literate/lit-2pgm-hs.lprl b/web/glasgow/lit2x-0.16/literate/lit-2pgm-hs.lprl new file mode 100644 index 0000000000..dedba6f47b --- /dev/null +++ b/web/glasgow/lit2x-0.16/literate/lit-2pgm-hs.lprl @@ -0,0 +1,12 @@ +\section[lit2pgm_for_hs]{Lit2pgm-only code for language \tr{hs}} + +\begin{code} +sub mk_line_directive { + local($filename,$lineno) = @_; + + "\{-# LINE $lineno \"$filename\" -\}\n"; +} + +# so we get 'do'ne correctly +1; +\end{code} |