Re: single-stepping throwgh a procedure is possible in guile 3?

[Jeremy Korwin-Zmijowski <jeremy@korwin-zmijowski.fr>]

[-- Attachment #1: Type: text/plain, Size: 742 bytes --]

Le vendredi 13 mars 2020 à 11:02 +0100, Michelangelo Rodriguez a
écrit :
> Hi all,
> I'm studying guile and scheme and as sayd in the subject, i would
> like
> to know if single-stepping throwgh a procedure is possible in guile
> 3.
> I looked at internet for information, and i found a reference that is
> not applicable in guile 3.
> Greetings,
> Michelangelo
> 

Hey Michelangelo !

What is the reference you are mentionning ?

I saw Andy Wingo demonstrate something close to what you are looking
for at Guix Days 2020, but failed to reproduce it back home haha.

Maybe, if Andy see this thread and have some time to give some hints...
:)

I join snippets of what I have, but I don't know how to make them work
in the REPL...

Jérémy


[-- Attachment #2: traps2.scm --]
[-- Type: text/x-scheme, Size: 284 bytes --]

(use-modules (system vm trap-state)
	     (system repl repl)
	     (system vm vm))

(set-vm-trace-level! 1)

(define oneplus
  (lambda (x)
    (+ 1 x)))

(with-default-trap-handler
 (lambda (frame idx name)
   (start-repl)
   (pk frame idx name))
 (lambda () (map oneplus '(1 2 3))))

[-- Attachment #3: traps.scm --]
[-- Type: text/x-scheme, Size: 205 bytes --]

(use-modules (system vm trap-state)
	     (system repl repl)
	     (system vm vm))

(set-vm-trace-level! 1)

(define oneplus
  (lambda (x)
    (+ 1 x)))

(install-trap-handler! pk)

(map oneplus '(1 2 3))