@@ -297,6 +297,8 @@ showCG NErased = "_"
297type Ctxt a = Map.Map Name (Map.Map Name a)
297type Ctxt a = Map.Map Name (Map.Map Name a)
298emptyContext = Map.empty
298emptyContext = Map.empty
300+-- |Return True if the argument Name should be interpreted as the name of a
300tcname (UN ('@':_)) = True
302tcname (UN ('@':_)) = True
301tcname (NS n _) = tcname n
303tcname (NS n _) = tcname n
302tcname (SN (InstanceN _ _)) = True
304tcname (SN (InstanceN _ _)) = True