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

Use locations from typed identifiers for type-generated contracts.

Browse Source 
original commit: ff3d785da2d87bdf3ef1d91d89400dd5b5a9722f
This commit is contained in:
Vincent St-Amour 2013-02-05 11:04:36 -05:00
parent b0851f1c4f
commit e4e84ecf70
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
collects/typed-racket/typecheck/provide-handling.rkt
View File

@ -1,16 +1,16 @@
#lang racket/base
(require "../utils/utils.rkt"
(only-in srfi/1/list s:member)
(only-in srfi/1/list s:member)
syntax/kerncase syntax/boundmap
(env type-name-env type-alias-env)
(env type-name-env type-alias-env)
(only-in (private type-contract) type->contract)
"renamer.rkt"
(rep type-rep)
(utils tc-utils)
(utils tc-utils)
(for-syntax syntax/parse racket/base)
racket/contract/private/provide unstable/list
syntax/id-table racket/dict
syntax/id-table syntax/location racket/dict
racket/syntax racket/struct-info racket/match
"def-binding.rkt" syntax/parse
(for-template racket/base "def-export.rkt" racket/contract))
@ -96,7 +96,15 @@
(define-syntax cnt-id
(make-provide/contract-transformer
(quote-syntax the-contract)
(quote-syntax id)
(datum->syntax ; preserve source location in expanded code
(quote-syntax id)
(syntax->datum (quote-syntax id))
(list (quote-source-file id)
(quote-line-number id)
(quote-column-number id)
(quote-character-position id)
(quote-character-span id))
(quote-syntax id))
(quote-syntax export-id)
(quote-syntax module-source)))
(def-export export-id id cnt-id)))