@@ -182,7 +182,7 @@ checkMap name home tipe constraint =
182 do a <- mkFlexVar
182 do a <- mkFlexVar
183 b <- mkFlexVar
183 b <- mkFlexVar
184 let mapType = toMapType home tipe (VarN a) (VarN b)
184 let mapType = toMapType home tipe (VarN a) (VarN b)
185− let mapCon = CLocal zero "cmdMap" (NoExpectation mapType)
185+ let mapCon = CLocal zero name (NoExpectation mapType)
186 return $ CLet [a,b] [] Map.empty mapCon constraint
186 return $ CLet [a,b] [] Map.empty mapCon constraint