Merge pull request #916 from urbit/fixup-sort

Don't do two passes in the unjetted +sort
This commit is contained in:
Elliot Glaysher 2018-12-06 14:54:30 -08:00 committed by GitHub
commit dc963f2119
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -787,10 +787,11 @@
=> .(a ^.(homo a))
|- ^+ a
?~ a ~
=+ s=(skid t.a |:(c=i.a (b c i.a)))
%+ weld
$(a (skim t.a |:(c=i.a (b c i.a))))
$(a p.s)
^+ t.a
[i.a $(a (skim t.a |:(c=i.a !(b c i.a))))]
[i.a $(a q.s)]
::
++ spin :: stateful turn
::