Fix little type in effect constraints
commit546be394d33f11a1de26cb1b51bad2e3cb26aaeb
authorEvan Czaplicki <evancz@users.noreply.github.com>
dateTue 16 Jan 2018, 20:19 (9 years ago)
parent6a33dd6
src/Type/Constrain/Module.hs+1−1
@@ -182,7 +182,7 @@ checkMap name home tipe constraint =
182182 do a <- mkFlexVar
183183 b <- mkFlexVar
184184 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)
186186 return $ CLet [a,b] [] Map.empty mapCon constraint
187187
188188