Newlines at EOFs scan.
original commit: cec73f5652aee0b78f9265e6a2c4135f131a8248
This commit is contained in:
parent
b7c3ede8ce
commit
8185a65308
|
@ -25,4 +25,4 @@
|
|||
(λ (tag)
|
||||
(abort-current-continuation tag "bad"))))
|
||||
|
||||
(require 'untyped)
|
||||
(require 'untyped)
|
||||
|
|
|
@ -31,4 +31,4 @@
|
|||
(call-f
|
||||
(λ (tag) ((make-abort-k tag) 'bad))))
|
||||
|
||||
(require 'untyped)
|
||||
(require 'untyped)
|
||||
|
|
|
@ -26,4 +26,4 @@
|
|||
(default-continuation-prompt-tag)
|
||||
(λ (x) x)))))
|
||||
|
||||
(require 'typed)
|
||||
(require 'typed)
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
#lang typed/racket
|
||||
|
||||
(: f (All (a ...) (a ... a -> (Values a ... a))))
|
||||
(define (f . x) x)
|
||||
(define (f . x) x)
|
||||
|
|
|
@ -3,4 +3,4 @@
|
|||
#lang typed/racket
|
||||
|
||||
(: f (All (a ...) (a ... a -> (Values a ... a))))
|
||||
(define f (lambda: (x : a ... a) x))
|
||||
(define f (lambda: (x : a ... a) x))
|
||||
|
|
|
@ -7,4 +7,4 @@
|
|||
;; This should fail because of the type variable arities
|
||||
(: f (All (b) (b -> b)))
|
||||
(define f
|
||||
(plambda: (a b) ([x : b]) x))
|
||||
(plambda: (a b) ([x : b]) x))
|
||||
|
|
|
@ -10,4 +10,4 @@
|
|||
(plambda: (b) ([x : b])
|
||||
(plambda: (b) ([y : b])
|
||||
(set! x y))
|
||||
x))
|
||||
x))
|
||||
|
|
|
@ -6,4 +6,4 @@
|
|||
|
||||
;; The 'a' is bound in two different scopes
|
||||
(plambda: (a) ([x : a])
|
||||
(plambda: (a) ([y : a]) (set! x y)))
|
||||
(plambda: (a) ([y : a]) (set! x y)))
|
||||
|
|
|
@ -29,4 +29,4 @@
|
|||
(+ 2
|
||||
(call-with-continuation-prompt
|
||||
(λ () (+ 1 (abort-current-continuation pt3 (λ () 5))))
|
||||
pt3))
|
||||
pt3))
|
||||
|
|
Loading…
Reference in New Issue
Block a user