From 6efc7c7301d96ce20b4f27ddbb36bb1043c15575 Mon Sep 17 00:00:00 2001
From: Rob Rix <robrix@github.com>
Date: Fri, 11 Oct 2019 11:45:57 -0400
Subject: [PATCH] Generalizee typecheckingAnalysis over the name type.

---
 semantic-core/src/Analysis/Typecheck.hs | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/semantic-core/src/Analysis/Typecheck.hs b/semantic-core/src/Analysis/Typecheck.hs
index 4897ac817..d42b5793d 100644
--- a/semantic-core/src/Analysis/Typecheck.hs
+++ b/semantic-core/src/Analysis/Typecheck.hs
@@ -151,10 +151,11 @@ typecheckingAnalysis
   :: ( Alternative m
      , Carrier sig m
      , Member Fresh sig
-     , Member (State (Set.Set (Constraint Name))) sig
-     , Member (State (Heap Name (Type Name))) sig
+     , Member (State (Set.Set (Constraint name))) sig
+     , Member (State (Heap name (Type name))) sig
+     , Ord name
      )
-  => Analysis term Name Name (Type Name) m
+  => Analysis term name name (Type name) m
 typecheckingAnalysis = Analysis{..}
   where alloc = pure
         bind _ _ m = m