[dylan-lang/opendylan] 50f34b: [dylan] Proper type specifications for sealing fil...

GitHub <[email protected]>
Newsgroups gmane.comp.lang.dylan.gwydion.cvs
Message-ID <54bc8621c10a6_6a483fdbd517f2a015893@hookshot-fe6-cp1-prd.iad.github.net.mail>
  Branch: refs/heads/master
  Home:   https://github.com/dylan-lang/opendylan
  Commit: 50f34bf401fffb51ff1313416f0d9830edbee2aa
      https://github.com/dylan-lang/opendylan/commit/50f34bf401fffb51ff1313416f0d9830edbee2aa
  Author: Bruce Mitchener <[email protected]>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M sources/dylan/list.dylan
    M sources/dylan/vector.dylan

  Log Message:
  -----------
  [dylan] Proper type specifications for sealing fill!.


  Commit: bfe4be398a484858de43485306de15afc3d6f66d
      https://github.com/dylan-lang/opendylan/commit/bfe4be398a484858de43485306de15afc3d6f66d
  Author: Bruce Mitchener <[email protected]>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M documentation/release-notes/source/2015.1.rst
    M sources/dfmc/conversion/define-domain-mop.dylan

  Log Message:
  -----------
  [dfmc,conversion] Warn on invalid sealed domains.

This adds a warning for when the sealed domain doesn't have the
same number of type specializers as the generic function that
it applies to.

It also adds a warning for when the sealed domain's type specializers
are not subtypes of the generic function's type specializers.

Fixes issue #849.


  Commit: 9222186030e2563bda43a6601cfc8973526f003b
      https://github.com/dylan-lang/opendylan/commit/9222186030e2563bda43a6601cfc8973526f003b
  Author: Bruce Mitchener <[email protected]>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M sources/dylan/list.dylan

  Log Message:
  -----------
  [dylan] define domain -> define sealed domain.

The compiler was erroneously accepting this syntax without warning,
but a warning is about to be added.


  Commit: 41ad364ce4ea81c1f821d816ec89b96b44c6188a
      https://github.com/dylan-lang/opendylan/commit/41ad364ce4ea81c1f821d816ec89b96b44c6188a
  Author: Bruce Mitchener <[email protected]>
  Date:   2015-01-19 (Mon, 19 Jan 2015)

  Changed paths:
    M documentation/release-notes/source/2015.1.rst
    M sources/dfmc/definitions/define-domain.dylan

  Log Message:
  -----------
  [dfmc,definitions] Warn on "define domain".


  Commit: d73d730b502e58c8dc710d6f675f3ba7dec45631
      https://github.com/dylan-lang/opendylan/commit/d73d730b502e58c8dc710d6f675f3ba7dec45631
  Author: Peter S. Housel <[email protected]>
  Date:   2015-01-18 (Sun, 18 Jan 2015)

  Changed paths:
    M documentation/release-notes/source/2015.1.rst
    M sources/dfmc/conversion/define-domain-mop.dylan
    M sources/dfmc/definitions/define-domain.dylan
    M sources/dylan/list.dylan
    M sources/dylan/vector.dylan

  Log Message:
  -----------
  Merge pull request #850 from waywardmonkeys/dev/define-domain-warnings

Add warnings for issues with sealing domains


Compare: https://github.com/dylan-lang/opendylan/compare/a199e5a5e4f0...d73d730b502e

_______________________________________________
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.