Archives of the Caml mailing list > Message from Lukasz Lew

Browse thread

[Caml-list] Does this function exist?

Lukasz Lew
- John Prevost
  - Lukasz Lew
    - John Prevost
      - Lukasz Lew
      - Kontra, Gergely
        
        Florian Hars
    - Yutaka OIWA
    - Chris Hecker
      - Remi VANICAT
        
        Daniel de Rauglaudre
    - Nicolas Cannasse
  - Kontra, Gergely
- Michaël_Grünewald

Date:	-- (:)
From:	Lukasz Lew <ll189417@z...>
Subject:	Re: [Caml-list] Does this function exist?

> Here we see that when we're inside the polymorphic function, the type
> information is lost (even though we're in debugging mode.)  Only by
> going up the stack to a point where the type of the value is known can
> we learn anything.

Agreed. So, it's a pity.
Does it apply equally to bytecode and native?
So maybe at least at ocamltop this function exist?

Lukasz Lew

-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners