+++ /dev/null
-%
-% (c) The GRASP/AQUA Project, Glasgow University, 1992-1994
-%
-\section[LIE]{Id instance environment}
-
-This is not really an ``environment.''
-
-\begin{code}
-#include "HsVersions.h"
-
-module LIE (
- LIE, -- abstract type
- mkLIE, nullLIE, unitLIE, unMkLIE, plusLIE,
-
- -- imported things so this module's interface is self-contained
- Inst
- ) where
-
-import Inst ( Inst )
-import Outputable
-import Util
-\end{code}
-
-%************************************************************************
-%* *
-\subsection[LIE-building]{Building LIEs}
-%* *
-%************************************************************************
-
-\begin{code}
-data LIE = MkLIE [Inst]
-
-mkLIE = MkLIE
-
-nullLIE = MkLIE []
-unitLIE x = MkLIE [x]
-
-unMkLIE :: LIE -> [Inst]
-unMkLIE (MkLIE insts) = insts
-
-plusLIE :: LIE -> LIE -> LIE
-plusLIE (MkLIE lie1) (MkLIE lie2)
- = MkLIE (lie1 ++ lie2)
-\end{code}