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

Style guideline compliance

Browse Source 
original commit: 37d44ebb38bb1d8cf57b5c3a0e13e274a931773f
This commit is contained in:
Asumu Takikawa 2013-05-01 18:18:29 -04:00
parent 33bda830b4
commit addfa108a6
1 changed files with 33 additions and 31 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
collects/typed-racket/rep/type-rep.rkt
View File

@ -1,4 +1,8 @@
#lang racket/base
;; This module provides type representations and utility functions
;; and pattern matchers on types
(require "../utils/utils.rkt")
(require (utils tc-utils)
@ -8,6 +12,34 @@
racket/lazy-require
(for-syntax racket/base syntax/parse))
(provide Mu-name:
Poly-names: Poly-fresh:
PolyDots-names:
Type-seq
Mu-unsafe: Poly-unsafe:
PolyDots-unsafe:
Mu? Poly? PolyDots?
Filter? Object?
Type/c Type/c?
Values/c SomeValues/c
Poly-n
PolyDots-n
free-vars*
type-compare type<?
remove-dups
sub-f sub-o sub-pe
(rename-out [Mu:* Mu:]
[Poly:* Poly:]
[PolyDots:* PolyDots:]
[Mu* make-Mu]
[Poly* make-Poly]
[PolyDots* make-PolyDots]
[Mu-body* Mu-body]
[Poly-body* Poly-body]
[PolyDots-body* PolyDots-body]))
(provide/cond-contract [type-equal? (Rep? Rep? . -> . boolean?)])
;; Ugly hack - should use units
(lazy-require
("../types/union.rkt" (Un))
@ -769,35 +801,5 @@
(list nps bp)))])))
;(trace subst subst-all)
(provide
Mu-name:
Poly-names: Poly-fresh:
PolyDots-names:
Type-seq
Mu-unsafe: Poly-unsafe:
PolyDots-unsafe:
Mu? Poly? PolyDots?
Filter? Object?
Type/c Type/c?
Values/c SomeValues/c
Poly-n
PolyDots-n
free-vars*
type-compare type<?
remove-dups
sub-f sub-o sub-pe
(rename-out [Mu:* Mu:]
[Poly:* Poly:]
[PolyDots:* PolyDots:]
[Mu* make-Mu]
[Poly* make-Poly]
[PolyDots* make-PolyDots]
[Mu-body* Mu-body]
[Poly-body* Poly-body]
[PolyDots-body* PolyDots-body]))
(provide/cond-contract [type-equal? (Rep? Rep? . -> . boolean?)])
;(trace unfold)