www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

typed-dotlambda.scrbl (1204B)

      1 #lang scribble/manual
      2 @require[@for-label[@only-in[dotlambda
      3                              #%dot-separator
      4                              #%dotted-id
      5                              #%module-begin
      6                              #%top-interaction]
      7                     racket/stxparam]]
      8 
      9 @title{Typed version of @racketmodname[dotlambda]}
     10 
     11 @(begin
     12    (module orig-typed/racket/base racket/base
     13      (require scribble/manual
     14               typed/racket/base)
     15      (provide typed/racket/base:#%module-begin
     16               typed/racket/base:#%top-interaction)
     17      (define typed/racket/base:#%module-begin (racket #%module-begin))
     18      (define typed/racket/base:#%top-interaction (racket #%top-interaction)))
     19    (require 'orig-typed/racket/base))
     20 
     21 @defmodulelang[typed/dotlambda]{
     22  Like @racket[#,(hash-lang) dotlambda], but overrides
     23  @typed/racket/base:#%module-begin and @typed/racket/base:#%top-interaction
     24  from @racketmodname[typed/racket/base], instead.}
     25 
     26 @defform[(#%module-begin . body)]{Overridden form of
     27  @typed/racket/base:#%module-begin and @racketmodname[racket/base]}
     28 
     29 @defform[(#%top-interaction . expression)]{Overridden form of
     30  @typed/racket/base:#%top-interaction from @racketmodname[racket/base]}