From ad807491a520ac268e80e15b05651d24cb2ec0f8 Mon Sep 17 00:00:00 2001 From: "Iavor S. Diatchki" Date: Tue, 6 Jan 2015 11:47:40 -0800 Subject: [PATCH] Switch to using Tries. --- src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs b/src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs index 128da73f..1a380313 100644 --- a/src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs +++ b/src/Cryptol/TypeCheck/Solver/Numeric/NonLin.hs @@ -9,17 +9,10 @@ module Cryptol.TypeCheck.Solver.Numeric.NonLin import Cryptol.TypeCheck.Solver.Numeric.AST import Cryptol.Utils.Panic(panic) -{- import Data.GenericTrie (Trie) import qualified Data.GenericTrie as Trie --} -import Data.Map (Map) -import qualified Data.Map as Trie - import MonadLib -type Trie = Map - -- | Factor-out non-linear terms, by naming them nonLinProp :: NonLinS -> Prop -> ([(Name,Expr)], Prop, NonLinS) nonLinProp s0 prop = case runId $ runStateT s0 $ nonLinPropM prop of