[dylan-lang/opendylan] 64c582: [dfmc-modeling] Fix ^known-disjoint? ambiguity wit...

GitHub <[email protected]>
Newsgroups gmane.comp.lang.dylan.gwydion.cvs
Message-ID <5390121b90973_102ac23d3c1164da@hookshot-fe1-cp1-prd.iad.github.net.mail>
  Branch: refs/heads/master
  Home:   https://github.com/dylan-lang/opendylan
  Commit: 64c58256781aa34e1bdbe7c39ab9bdcf09148f28
      https://github.com/dylan-lang/opendylan/commit/64c58256781aa34e1bdbe7c39ab9bdcf09148f28
  Author: Bruce Mitchener <[email protected]>
  Date:   2014-06-05 (Thu, 05 Jun 2014)

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

  Log Message:
  -----------
  [dfmc-modeling] Fix ^known-disjoint? ambiguity with singletons and unions.

Without this, you could get the occasional warning:

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


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

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

  Log Message:
  -----------
  Merge pull request #769 from waywardmonkeys/fix-known-disjoint-ambiguity

[dfmc-modeling] Fix ^known-disjoint? ambiguity with singletons and unions


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

_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.