git.iko.soy/elk
on master help sign in
Stop attempting to rigidify when popping scheme pool

I believe that this is a safety precaution, not a necessary step. Removing this code will set up a change where all rigid variables *must* have a name, and all flexible variables *may* have a name.

commit40aafc6bb991aeebc7a550aabad31e2c29fe78a8 authorEvan Czaplicki <evancz@users.noreply.github.com> dateMon 17 Jul 2017, 17:43 (9 years ago) parent0765fde
1 file changed+1−11
compare with master
unifiedsplit
src/Type/Solve.hs+1−11
src/Type/Solve.hs+1−11
@@ -226,7 +226,7 @@ generalize youngMark visitMark youngRank pools =
226226 then
227227 MVector.modify pools (var:) rank
228228 else
229− UF.setDescriptor var $ Descriptor (rigidify content) noRank mark copy
229+ UF.setDescriptor var $ Descriptor content noRank mark copy
230230
231231
232232poolToRankTable :: Mark -> Int -> [Variable] -> IO (Vector.Vector [Variable])
@@ -242,16 +242,6 @@ poolToRankTable youngMark youngRank youngInhabitants =
242242 Vector.unsafeFreeze mutableTable
243243
244244
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−
255245
256246-- ADJUST RANK
257247