[dylan-lang/opendylan] 6e7e13: Fix limited collection vs singleton subtype.

  Branch: refs/heads/master
  Home:   https://github.com/dylan-lang/opendylan
  Commit: 6e7e1374edf063fad581293f0c28e05d92a9e66c
      https://github.com/dylan-lang/opendylan/commit/6e7e1374edf063fad581293f0c28e05d92a9e66c
  Author: Bruce Mitchener <[email protected]>
  Date:   2014-06-05 (Thu, 05 Jun 2014)

  Changed paths:
    M sources/dfmc/modeling/singletons.dylan
    M sources/dylan/singleton.dylan

  Log Message:
  -----------
  Fix limited collection vs singleton subtype.

Given that <type> can not be a subtype of <singleton> and the only
thing defined as a possible subtype of a singleton is another
identical singleton, it makes sense to have this also result
in a result of ``#f``.

This fixes this runtime warning:

  Warning: Method specificity of unorderable methods
      {<pair>:
  {<simple-method>: ??? (<&type>, <&singleton>)},
  {<simple-method>: ??? (<&limited-collection-type>, <&type>)}}
  applying
      {<sealed-generic-function>: ^subtype?}
  to
      {<simple-object-vector>: {<&limited-sequence-type>}, {<&singleton>}}
  was determined with arbitrary and capricious rules.


  Commit: b756db51a99dabcdd4aae51bce639503bbe1d62b
      https://github.com/dylan-lang/opendylan/commit/b756db51a99dabcdd4aae51bce639503bbe1d62b
  Author: Hannes Mehnert <[email protected]>
  Date:   2014-06-05 (Thu, 05 Jun 2014)

  Changed paths:
    M sources/dfmc/modeling/singletons.dylan
    M sources/dylan/singleton.dylan

  Log Message:
  -----------
  Merge pull request #770 from waywardmonkeys/fix-limited-collection-vs-singleton-subtype

Fix limited collection vs singleton subtype.


Compare: https://github.com/dylan-lang/opendylan/compare/34a95515d9da...b756db51a99d

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter