Hindley Milner Type Inference in Rust
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
BookOwl opened this issue 7 years ago · comments
Right now letrec allows stuff like (letrec x = x + 1 in x) : int which doesn't make sense.
(letrec x = x + 1 in x) : int
Actually letrec should allow other stuff so infinite lists and stuff can be made.