diff options
Diffstat (limited to 'src/Term.hs')
| -rw-r--r-- | src/Term.hs | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/Term.hs b/src/Term.hs index c5a4fa0..a84b6c5 100644 --- a/src/Term.hs +++ b/src/Term.hs @@ -7,12 +7,6 @@ module Term ) where import Control.Concurrent.MVar -import Data.IORef ( IORef - , modifyIORef - , newIORef - , readIORef - , writeIORef - ) import Data.List ( elemIndex ) import Data.Map.Strict ( Map ) import qualified Data.Map.Strict as Map @@ -76,7 +70,6 @@ toRedex = convertWorker (NameGen 1) [] in Rapp lhs rhs convertWorker _ ns (Idx i) = Ridx $ Num (if i < 0 || i >= length ns then i else ns !! i) - convertWorker _ _ _ = invalid fromRedex :: Redex -> Term fromRedex = convertWorker [] |