DrRacket 5.0.2 isn't indenting Typed Racket "let:" forms idiomatically. It indents them in the default way rather than a special way like it does for Racket "let" forms.

In case anyone wants to fix this, here's how Quack currently indents "let:" (leading space characters replaced here with "." so email clients don't eat them):

(let: ((x : Any)
.......(y : Any))
..x
..y)

(let: loop : Any ((x : Any)
..................(y : Any))
..x
..y)

(let: loop : Any
......((x : Any)
.......(y : Any))
..x
..y)

(let: loop
....: Any
....((x : Any)
.....(y : Any))
..x
..y)

The difference in indentation of the second line in the 3rd and 4th examples is an accident of how some existing Emacs code works, not a decision on my part. In that regard, I would probably change Quack to do whatever Racket ultimately does.

--
http://www.neilvandyke.org/
_________________________________________________
 For list-related administrative tasks:
 http://lists.racket-lang.org/listinfo/users

Reply via email to