In the language specification, the translation rule of do! e; is defined as follows:
T(do! e;, V, C, q) = T(let! () = src(e) in b.Return(), V, C, q)
And the signature of Return is 'a -> M<'a>, so the type of do! e; results M<unit>.
Yukitoshi Suzuki yukitos
yukitos
/ gist:8f86c63c69640228a5391433a2f33b27
Last active
November 7, 2016 07:45
— forked from bleis-tift/gist:376b8a772adbf03d85bb6c77d03ad99a