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

Add srcloc instead of a quoted syntax for casts

Browse Source
This commit is contained in:
Asumu Takikawa 2015-03-02 19:19:32 -05:00
parent a3e25231a6
commit 96e741dc1b
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -114,6 +114,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
(only-in racket/base values))
(for-syntax
racket/lazy-require
syntax/location
syntax/parse
syntax/parse/experimental/template
syntax/stx
@ -316,7 +317,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
'cast
'typed-world
val
(quote-syntax #,stx)))
(quote-srcloc #,stx)))
'feature-profile:TR-dynamic-check #t))
#'ty)))

2
typed-racket-test/fail/cast-mod1.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred exn:fail:contract? #rx".*produced: 3" #rx".*promised: String.*" )
(exn-pred exn:fail:contract? #rx".*produced: 3" #rx".*promised: String.*" #rx"6\\.0")
#lang typed/racket/base