Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

partial -i when inference fails #3617

Closed
vicuna opened this issue Sep 2, 2002 · 2 comments
Closed

partial -i when inference fails #3617

vicuna opened this issue Sep 2, 2002 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Sep 2, 2002

Original bug ID: 1363
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Full_Name: Emmanuel Renieris
Version: Any
OS: Any
Submission from: miette.cs.brown.edu (128.148.38.66)

-i is a very useful option. Unfortunately, when type inference fails, -i gives
no output. Is it possible to see the types that were inferred? It would help
find the
error sometimes. I know you are working on a long-term solution to this, but
maybe
this is not too hard to include quickly.

Thanks,

Manos

@vicuna
Copy link
Author

vicuna commented Sep 3, 2002

Comment author: administrator

Full_Name: Emmanuel Renieris

-i is a very useful option. Unfortunately, when type inference
fails, -i gives no output. Is it possible to see the types that
were inferred? It would help find the error sometimes. I know you
are working on a long-term solution to this, but maybe this is not
too hard to include quickly.

This would not be very difficult indeed, but you have already two ways
to do it using other tools:

  • using #use with ocaml (you need to load all other modules
    first... but it is enough to put them on the command line when
    calling ocaml)
  • using the typeckeck feature of the editor in ocamlbrowser
    additionally, you can inspect internal types for properly typed
    phrases.

Hope this helps.

 Jacques

@vicuna
Copy link
Author

vicuna commented Apr 18, 2004

Comment author: administrator

Cannot do as requested, but workaround exists (e.g. the type browsing facility
of 3.07)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant