Skip to content

Instantly share code, notes, and snippets.

@endobson

endobson/gist:b8d141a04c4a317dc696

Created May 5, 2015 15:13
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save endobson/b8d141a04c4a317dc696 to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save endobson/b8d141a04c4a317dc696 to your computer and use it in GitHub Desktop.
Download ZIP
Output of running tests (racket unit-tests/typecheck-tests.rkt)
Raw
gistfile1.txt
--------------------
Typechecker tests > tc-expr tests > 3649 (lambda: ((x : Flonum) (y : Flonum-Zero)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
3649 (lambda: ((x : Flonum) (y : Flonum-Zero)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
FAILURE
location: <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:3648:7
actual: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero)
(values
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Negative-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U Float-Nan Float-Positive-Zero Float-Negative-Zero) @ (0 0)) | Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN)
@
(0 0))
|
Top))))
(Top | Bot)
-))
#f)
expected: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero)
(values
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Negative-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U Float-Nan Float-Positive-Zero Float-Negative-Zero) @ (0 0)) | Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
(U #f #t)))
(Top | Bot)
-))
#f)
tc-expr did not return the expected value. It returned a more precise value. The types don't match.
--------------------
--------------------
Typechecker tests > tc-expr tests > 3669 (lambda: ((x : Flonum) (y : Positive-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
3669 (lambda: ((x : Flonum) (y : Positive-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
FAILURE
location: <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:3668:7
actual: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Positive-Float-No-NaN)
(values
(U #f #t)
(U #f #t)
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))))
(Top | Bot)
-))
#f)
expected: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Positive-Float-No-NaN)
(values
(U #f #t)
(U #f #t)
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
(U #f #t)))
(Top | Bot)
-))
#f)
tc-expr did not return the expected value. It returned a more precise value. The types don't match.
--------------------
--------------------
Typechecker tests > tc-expr tests > 3689 (lambda: ((x : Flonum) (y : Nonnegative-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
3689 (lambda: ((x : Flonum) (y : Nonnegative-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
FAILURE
location: <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:3688:7
actual: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero Positive-Float-No-NaN)
(values
(U #f #t)
(U #f #t)
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN)
@
(0 0))
|
Top))))
(Top | Bot)
-))
#f)
expected: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero Positive-Float-No-NaN)
(values
(U #f #t)
(U #f #t)
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Positive-Float-No-NaN) @ (0 0)) | Top))
(U #f #t)))
(Top | Bot)
-))
#f)
tc-expr did not return the expected value. It returned a more precise value. The types don't match.
--------------------
--------------------
Typechecker tests > tc-expr tests > 3729 (lambda: ((x : Flonum) (y : Nonpositive-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
3729 (lambda: ((x : Flonum) (y : Nonpositive-Flonum)) (values (fl<= x y) (fl< x y) (fl= x y) (fl> x y) (fl>= x y)))
FAILURE
location: <pkgs>/typed-racket-test/unit-tests/typecheck-tests.rkt:3728:7
actual: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero Negative-Float-No-NaN)
(values
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Negative-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
(U #f #t)
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))))
(Top | Bot)
-))
#f)
expected: (tc-results
(list
(tc-result
(->
(U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN
Negative-Float-No-NaN)
(U Float-Nan Float-Positive-Zero Float-Negative-Zero Negative-Float-No-NaN)
(values
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
((U #f #t) : (((U Float-Nan Negative-Float-No-NaN) @ (0 0)) | Top))
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Negative-Float-No-NaN)
@
(0 0))
|
Top))
(U #f #t)
((U #f #t)
:
(((U
Float-Nan
Float-Positive-Zero
Float-Negative-Zero
Positive-Float-No-NaN)
@
(0 0))
|
Top))))
(Top | Bot)
-))
#f)
tc-expr did not return the expected value. The types don't match.
--------------------
1116 success(es) 4 failure(s) 0 error(s) 1120 test(s) run
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment