Small style changes and removal of dead code.
Also adds a test to contract tests. original commit: 20821f9ae8fcf8c849bcfb764d210eb8e392f131
This commit is contained in:
Eric Dobson
parent
cc6ff2d0b7
commit
2dad54d7ca
|
|
@ -13,7 +13,6 @@
|
|||
"type-annotation-test.rkt" ;; pass
|
||||
"keyword-expansion-test.rkt" ;;pass
|
||||
|
||||
"module-tests.rkt" ;; pass
|
||||
"contract-tests.rkt"
|
||||
"interactive-tests.rkt"
|
||||
|
||||
|
|
@ -37,7 +36,6 @@
|
|||
overlap-tests
|
||||
parse-type-tests
|
||||
type-annotation-tests
|
||||
module-tests
|
||||
fv-tests
|
||||
contract-tests
|
||||
keyword-tests
|
||||
|
|
@ -50,6 +48,4 @@
|
|||
|
||||
(define-go (lambda () unit-tests))
|
||||
|
||||
;(go/gui)
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -7,6 +7,7 @@
|
|||
(rep type-rep)
|
||||
(types abbrev numeric-tower union)
|
||||
rackunit)
|
||||
(provide contract-tests)
|
||||
|
||||
|
||||
(define-syntax-rule (t e)
|
||||
|
|
@ -91,5 +92,3 @@
|
|||
"multiple distinct type variables")
|
||||
))
|
||||
|
||||
(define-go contract-tests)
|
||||
(provide contract-tests)
|
||||
|
|
|
|||
|
|
@ -75,10 +75,4 @@
|
|||
(-> one two three true true result)
|
||||
(-> one two false true false result)
|
||||
(-> one false false false false result))]
|
||||
|
||||
|
||||
|
||||
|
||||
))
|
||||
|
||||
(define-go keyword-tests)
|
||||
|
|
|
|||
|
|
@ -143,9 +143,3 @@
|
|||
))
|
||||
|
||||
;; FIXME - add tests for parse-values-type, parse-tc-results
|
||||
|
||||
(define-go
|
||||
parse-type-tests)
|
||||
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
(require "test-utils.rkt" (for-syntax scheme/base)
|
||||
(rep type-rep)
|
||||
#lang racket/base
|
||||
(require "test-utils.rkt"
|
||||
(for-syntax racket/base)
|
||||
(r:infer infer)
|
||||
(types abbrev numeric-tower subtype union remove-intersect)
|
||||
rackunit)
|
||||
|
|
@ -66,20 +66,5 @@
|
|||
[(-pair -Number (-v a)) (-pair Univ Univ) (Un)]
|
||||
))
|
||||
|
||||
(define-go
|
||||
restrict-tests
|
||||
remove-tests
|
||||
overlap-tests)
|
||||
|
||||
(define x1
|
||||
(-mu list-rec
|
||||
(Un
|
||||
(-val '())
|
||||
(-pair (-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x)))
|
||||
list-rec))))
|
||||
(define x2
|
||||
(Un (-val '())
|
||||
(-pair (-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x)))
|
||||
(-mu x (Un -Boolean -Number -String -Symbol (-val '()) (-pair x x))))))
|
||||
(provide remove-tests restrict-tests overlap-tests)
|
||||
|
||||
|
|
|
|||
|
|
@ -20,6 +20,7 @@
|
|||
typed-racket/base-env/prims
|
||||
typed-racket/base-env/base-types
|
||||
(for-syntax typed-racket/standard-inits))
|
||||
(provide typecheck-special-tests)
|
||||
|
||||
(begin-for-syntax (do-standard-inits))
|
||||
|
||||
|
|
@ -137,5 +138,3 @@
|
|||
))
|
||||
|
||||
|
||||
(define-go typecheck-special-tests)
|
||||
(provide typecheck-special-tests)
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
#lang scheme/base
|
||||
#lang racket/base
|
||||
|
||||
(require "test-utils.rkt" (for-syntax scheme/base)
|
||||
(require "test-utils.rkt"
|
||||
(rep type-rep)
|
||||
(types utils abbrev numeric-tower substitute)
|
||||
rackunit)
|
||||
|
|
@ -19,6 +19,3 @@
|
|||
(s... (-Number -Boolean) a (make-Function (list (make-arr-dots (list -String) -Number (-v b) 'a))) (-String (-v b) (-v b) . -> . -Number))
|
||||
(s... (-Number -Boolean) a (make-Function (list (make-arr-dots (list -String) -Number (-v b) 'b)))
|
||||
(make-Function (list (make-arr-dots (list -String) -Number (-v b) 'b))))))
|
||||
|
||||
(define-go subst-tests)
|
||||
|
||||
|
|
|
|||
|
|
@ -253,6 +253,3 @@
|
|||
[(make-ListDots (-> -Symbol (make-F 'a)) 'a) (-lst (-> -Symbol Univ))]
|
||||
|
||||
))
|
||||
|
||||
(define-go
|
||||
subtype-tests)
|
||||
|
|
|
|||
|
|
@ -1,5 +1,4 @@
|
|||
#lang scheme/base
|
||||
(provide (all-defined-out))
|
||||
|
||||
(require scheme/require-syntax
|
||||
scheme/match
|
||||
|
|
@ -10,7 +9,7 @@
|
|||
(rep type-rep)
|
||||
rackunit rackunit/text-ui)
|
||||
|
||||
(provide private typecheck (rename-out [infer r:infer]) utils env rep types base-env)
|
||||
(provide private typecheck (rename-out [infer r:infer]) utils env rep types base-env (all-defined-out))
|
||||
|
||||
(define (mk-suite ts)
|
||||
(match (map (lambda (f) (f)) ts)
|
||||
|
|
|
|||
|
|
@ -46,8 +46,3 @@
|
|||
(-struct #'heap-node #f
|
||||
(map fld* (list (-base 'comparator) -Number (-pair -Number -Number) (Un heap-node (-base 'heap-empty))))))
|
||||
(-base 'heap-empty))]))
|
||||
|
||||
(define-go
|
||||
type-equal-tests)
|
||||
|
||||
|
||||
|
|
|
|||
|
|
@ -71,6 +71,8 @@
|
|||
syntax/parse
|
||||
'tester))
|
||||
|
||||
(provide typecheck-tests)
|
||||
|
||||
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
||||
|
|
@ -1945,6 +1947,3 @@
|
|||
#:expected (-mu X (-pair (-vec (t:Un (-val ':a) X)) (t:Un (-val ':b) X)))]
|
||||
[tc-l/err #(1 2) #:expected (make-HeterogeneousVector (list -Number -Symbol))]
|
||||
))
|
||||
|
||||
|
||||
(provide typecheck-tests)
|
||||
|
|
|
|||
Loading…
Reference in New Issue
Block a user