Request: Add type information from type inference about fantomas HOT 4 CLOSED

I'm not sure I understand your intention.

Isn't it the job of F# type checker? If you need that information, you could use --sig option in F# compiler or copy type signatures from F# Interactive.

Could you provide an example and show a use case?

from fantomas.

I think the intention is to support sutomatically adding type annotations to the text of source code files according to some policy, e.g.

 let f x y = x + y 

becomes

let f (x:int) (y:int) : int = x + y

But agreed this doesn't fit with the current tool very well, which doesn't invoke the type checker.

from fantomas.

I don't think we should support this either. It requires a lot of change wrt current implementation.

from fantomas.

Hi Phan and Don,

Don gave a correct example. I just put this out there so we could discuss
it and reject it if it was not practical for this project. I added as a
request because if Fantomas could do it, it would be nice, but also because
others might have the same idea and would could have in on record why it
was rejected.

Thanks, Eric

On Wed, Apr 17, 2013 at 6:03 AM, Anh-Dung Phan [email protected]:

I don't think we should support this either. It requires a lot of change
wrt current implementation.

—
Reply to this email directly or view it on GitHubhttps://github.com//issues/6#issuecomment-16497259
.

from fantomas.