When creating a named var, allow it to be flexible.
commit45b43e8757b88dd28ab4ea8371f358e679251cef
authorEvan Czaplicki <info@elm-lang.org>
dateFri 19 Jul 2013, 13:25 (13 years ago)
parent2673890
compiler/Type/Type.hs+1−1
@@ -90,7 +90,7 @@ f <| a = TermN (App1 f a)
9090namedVar name = UF.fresh $ Descriptor {
9191 structure = Nothing,
9292 rank = noRank,
93− flex = Constant,
93+ flex = Flexible,
9494 name = Just name,
9595 copy = Nothing,
9696 mark = noMark