[dylan-lang/opendylan] 3f52ae: [dfmc-modeling] Fix ^known-disjoint? crash with si...
GitHub <[email protected]>
| Newsgroups | gmane.comp.lang.dylan.gwydion.cvs |
|---|---|
| Message-ID | <53997b0fd450b_480dd9d3462086@hookshot-fe1-cp1-prd.iad.github.net.mail> |
Branch: refs/heads/master
Home: https://github.com/dylan-lang/opendylan
Commit: 3f52ae6fbebc6c11f121abbf5769f005ee35519a
https://github.com/dylan-lang/opendylan/commit/3f52ae6fbebc6c11f121abbf5769f005ee35519a
Author: Bruce Mitchener <[email protected]>
Date: 2014-06-12 (Thu, 12 Jun 2014)
Changed paths:
M sources/dfmc/modeling/singletons.dylan
Log Message:
-----------
[dfmc-modeling] Fix ^known-disjoint? crash with singletons and unions.
We can't check ^known-disjoint? with the value of a singleton as this
may not be a type and ^known-disjoint? is defined on <type> and not
<object>.
This corrects an error made in commit 64c58256781aa34e1bdbe7c39ab9bdcf09148f28.
Commit: 639d97e131e9756443415363bc86f669cbbf2592
https://github.com/dylan-lang/opendylan/commit/639d97e131e9756443415363bc86f669cbbf2592
Author: Hannes Mehnert <[email protected]>
Date: 2014-06-12 (Thu, 12 Jun 2014)
Changed paths:
M sources/dfmc/modeling/singletons.dylan
Log Message:
-----------
Merge pull request #775 from waywardmonkeys/fix-known-disjoint-for-singleton-union
[dfmc-modeling] Fix ^known-disjoint? crash with singletons and unions.
Compare: https://github.com/dylan-lang/opendylan/compare/3f082c4d81ef...639d97e131e9
_______________________________________________
chatter mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/chatter