git.iko.soy/elk
on master help sign in
Stop attempting to rigidify when popping scheme pool
40aafc6Evan Czaplicki
src/Type/Solve.hs+1−11
compare with master
unifiedsplit
@@ -226,7 +226,7 @@ generalize youngMark visitMark youngRank pools =
226 then
226 then
227 MVector.modify pools (var:) rank
227 MVector.modify pools (var:) rank
228 else
228 else
229− UF.setDescriptor var $ Descriptor (rigidify content) noRank mark copy
229+ UF.setDescriptor var $ Descriptor content noRank mark copy
230
230
231
231
232poolToRankTable :: Mark -> Int -> [Variable] -> IO (Vector.Vector [Variable])
232poolToRankTable :: Mark -> Int -> [Variable] -> IO (Vector.Vector [Variable])
@@ -242,16 +242,6 @@ poolToRankTable youngMark youngRank youngInhabitants =
242 Vector.unsafeFreeze mutableTable
242 Vector.unsafeFreeze mutableTable
243
243
244
244
245−rigidify :: Content -> Content
246−rigidify content =
247− case content of
248− Var Flex maybeSuper maybeName ->
249− Var Rigid maybeSuper maybeName
250−
251− _ ->
252− content
253−
254−
255
245
256-- ADJUST RANK
246-- ADJUST RANK
257
247