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

Fix indentation

Browse Source 
original commit: ddcb0318051c05363bafb9c5e960bd8c095cf74c
This commit is contained in:
Asumu Takikawa 2013-09-03 21:11:25 -04:00
parent 4f04f82380
commit 8928539c33
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)