From 7e7f33c6d119d838d8759b0452c1d5929b091acf Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Mon, 29 Jul 2019 12:15:22 -0400 Subject: [PATCH] Generalize importGraphAnalysis over the term type. --- semantic-core/src/Analysis/ImportGraph.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/semantic-core/src/Analysis/ImportGraph.hs b/semantic-core/src/Analysis/ImportGraph.hs index 94295c9df..1e9cd9c34 100644 --- a/semantic-core/src/Analysis/ImportGraph.hs +++ b/semantic-core/src/Analysis/ImportGraph.hs @@ -78,10 +78,12 @@ runFile file = traverse run file importGraphAnalysis :: ( Alternative m , Carrier sig m , Member (Reader Loc) sig - , Member (State (Heap User (Value (Term (Core.Ann :+: Core.Core) User)))) sig + , Member (State (Heap User (Value (term User)))) sig , MonadFail m + , Ord (term User) + , Show (term User) ) - => Analysis (Term (Core.Ann :+: Core.Core)) User (Value (Term (Core.Ann :+: Core.Core) User)) m + => Analysis term User (Value (term User)) m importGraphAnalysis = Analysis{..} where alloc = pure bind _ _ m = m