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

Fix indentation

Browse Source
This commit is contained in:
Asumu Takikawa 2013-09-03 21:11:25 -04:00
parent 099ca6cab9
commit ddcb031805
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/base-special-env.rkt
View File

@ -38,11 +38,11 @@
[(make-template-identifier 'all-languages 'string-constants/string-constant)
(-> (-lst -Symbol))]
;; qq-append
[(make-template-identifier 'qq-append 'racket/private/qq-and-or)
(-poly (a b)
(cl->*
(-> (-lst a) (-val '()) (-lst a))
(-> (-lst a) (-lst b) (-lst (Un a b)))))]
[(make-template-identifier 'qq-append 'racket/private/qq-and-or)
(-poly (a b)
(cl->*
(-> (-lst a) (-val '()) (-lst a))
(-> (-lst a) (-lst b) (-lst (Un a b)))))]
;; make-sequence
[(make-template-identifier 'make-sequence 'racket/private/for)
(-poly (a b)