suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add tests for error message pruning.

Browse Source
This commit is contained in:
Vincent St-Amour 2013-09-04 11:12:01 -04:00
parent fef4b28b88
commit 86c87f5fda
3 changed files with 33 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/error-pruning1.rkt Normal file
View File

@ -0,0 +1,11 @@
#;
(exn-pred #px"^((?!Integer).)+$")
#lang typed/racket
;; Tests that function type pruning in errors is working. If the string
;; "Integer" shows up the error (which should be about Number), then
;; pruning is broken.
;; Because `exn-pred' only checks the first line of the error, only one
;; error expression per file (otherwise, the first line is a summary).
(add1 'foo1)

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/error-pruning2.rkt Normal file
View File

@ -0,0 +1,11 @@
#;
(exn-pred #px"^((?!Integer).)+$")
#lang typed/racket
;; Tests that function type pruning in errors is working. If the string
;; "Integer" shows up the error (which should be about Number), then
;; pruning is broken.
;; Because `exn-pred' only checks the first line of the error, only one
;; error expression per file (otherwise, the first line is a summary).
(+ 'foo1 3)

11
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/error-pruning3.rkt Normal file
View File

@ -0,0 +1,11 @@
#;
(exn-pred #px"^((?!Integer).)+$")
#lang typed/racket
;; Tests that function type pruning in errors is working. If the string
;; "Integer" shows up the error (which should be about Number), then
;; pruning is broken.
;; Because `exn-pred' only checks the first line of the error, only one
;; error expression per file (otherwise, the first line is a summary).
(+ 'foo1 "a")