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

Add tests for error message pruning.

Browse Source 
original commit: 86c87f5fda227ec574a0e47d619155f96a2cf8a4
This commit is contained in:
Vincent St-Amour 2013-09-04 11:12:01 -04:00
parent 308fd29c06
commit 2abdf27d17
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")