Giters

BookOwl / type-inference

Hindley Milner Type Inference in Rust

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Letrec should only allow functions.

BookOwl opened this issue · comments

commented

Right now letrec allows stuff like (letrec x = x + 1 in x) : int which doesn't make sense.

commented

Actually letrec should allow other stuff so infinite lists and stuff can be made.