[dylan-lang/opendylan] 262ef3: [dfmc-typist, tests] Fix double float constant test...

----==_mimepart_56c3e32259e0b_19a73f9aa65172c041034
Content-Type: text/plain;
 charset=UTF-8
Content-Transfer-Encoding: 7bit

  Branch: refs/heads/master
  Home:   https://github.com/dylan-lang/opendylan
  Commit: 262ef38115d80c62e15f08cb411e70284b11b66c
      https://github.com/dylan-lang/opendylan/commit/262ef38115d80c62e15f08cb411e70284b11b66c
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-16 (Tue, 16 Feb 2016)

  Changed paths:
    M sources/dfmc/testing/typist-inference-tests.dylan

  Log Message:
  -----------
  [dfmc-typist,tests] Fix double float constant test.

* sources/dfmc/testing/typist-inference-tests.dylan
  (typist-inference-test typist-constants): Specify precision and
   check for a <double-float> instead of an <extended-float>.


  Commit: 1c9e64343cf8223c4d371d7ce9e81cf3c0035ee2
      https://github.com/dylan-lang/opendylan/commit/1c9e64343cf8223c4d371d7ce9e81cf3c0035ee2
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-16 (Tue, 16 Feb 2016)

  Changed paths:
    M sources/dfmc/typist/typist-inference.dylan

  Log Message:
  -----------
  [dfmc-typist] Fix comment typo.

* sources/dfmc/typist/typist-inference.dylan: Fix comment typo.


  Commit: 0aaf5c91dd11551cbe640a8863aacc0e95cb8e88
      https://github.com/dylan-lang/opendylan/commit/0aaf5c91dd11551cbe640a8863aacc0e95cb8e88
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-16 (Tue, 16 Feb 2016)

  Changed paths:
    M sources/dfmc/testing/typist-inference-tests.dylan

  Log Message:
  -----------
  [dfmc-typist,tests] Better type-estimate comparison.

Using `type-estimate-subtype?` instead of `type-estimate=?` lets
tests pass when the typist has inferred a more exact type than we're
checking for. This happens often with constant values where the typist
tries to infer a singleton type.

* sources/dfmc/testing/typist-inference-tests.dylan
  (static-type-check?): Use `type-estimate-subtype?` to see if the
   inferred type is correct.


  Commit: 91577c599c65600eed667fc059269a2c01022c42
      https://github.com/dylan-lang/opendylan/commit/91577c599c65600eed667fc059269a2c01022c42
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-16 (Tue, 16 Feb 2016)

  Changed paths:
    M sources/dfmc/testing/typist-inference-tests.dylan

  Log Message:
  -----------
  [dfmc-typist,tests] Show type estimates in verbose mode.

* sources/dfmc/testing/typist-inference-tests.dylan
  (static-type-check?): Hoist the cache out of the local method
   so that it is available to pass to `show-lambda-type-estimate`
   which we now call when showing more verbose detail on failures.


  Commit: 506020c5fb6ec5fc3fc93cbf8ba64ba1134d77d2
      https://github.com/dylan-lang/opendylan/commit/506020c5fb6ec5fc3fc93cbf8ba64ba1134d77d2
  Author: Bruce Mitchener <[email protected]>
  Date:   2016-02-16 (Tue, 16 Feb 2016)

  Changed paths:
    M sources/dfmc/testing/typist-inference-tests.dylan

  Log Message:
  -----------
  [dfmc-typist,testing] Improve debug output formatting.

* sources/dfmc/testing/typist-inference-tests.dylan
  (static-type-check?): When printing expected and inferred types
   on verbose failure output mode, line them up so that they're
   easier to compare.


Compare: https://github.com/dylan-lang/opendylan/compare/a952f07c900e...506020c5fb6e
----==_mimepart_56c3e32259e0b_19a73f9aa65172c041034
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

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