Thanks for your reply. Here is an example session run directly (without HOL mode), using a recent development build (commit f65c89f20626b700f7a67ef54b5c80d65a9964d6) with the experimental kernel, and with Poly/ML 5.7.1:
[18:26] mario@svetlana (0) [~/hacking/hol4_exp/src]
$ hol
---------------------------------------------------------------------
HOL-4 [Kananaskis 11 (expknl, built Wed Apr 11 18:46:29 2018)]
For introductory HOL help, type: help "hol";
To exit type <Control>-D
---------------------------------------------------------------------
> PolyML.Compiler.debug := true;
val it = (): unit
> fun f () = print "foo\n";
val f = fn: unit -> unit
> fun g () = f ();
val g = fn: unit -> unit
> open PolyML.Debug;
val breakAt = fn: string * int -> unit
val breakEx = fn: exn -> unit
val breakIn = fn: string -> unit
val clearAt = fn: string * int -> unit
val clearEx = fn: exn -> unit
val clearIn = fn: string -> unit
val continue = fn: unit -> unit
val continueWithEx = fn: exn -> unit
val down = fn: unit -> unit
val dump = fn: unit -> unit
val locals = fn: unit -> unit
val stack = fn: unit -> unit
val step = fn: unit -> unit
val stepOut = fn: unit -> unit
val stepOver = fn: unit -> unit
val trace = fn: bool -> unit
val up = fn: unit -> unit
val variables = fn: unit -> unit
> breakIn "f";
val it = (): unit
> g();
foo
val it = (): unit
On 19/04/18 18:23, Chun Tian (binghe) wrote:
> It works for me, when I was debugging SML functions manipulating HOL terms,
> in whatever mode. I think you should provide details to let other help you
> figuring out the mistakes in your steps.
--
Do not eat animals; respect them as you respect people.
https://duckduckgo.com/?q=how+to+(become+OR+eat)+vegan
signature.asc
Description: OpenPGP digital signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
