Skip to content

Be able to stop code execution #9

@nathanfallet

Description

@nathanfallet

Describe the bug
When some never ending code is executed, we are unable to stop its execution in the top level

To Reproduce
Steps to reproduce the behavior:

  1. Write some never ending code
  2. Execute it

Example code:

let a n =
  let b = ref 0 in
  while n <> 0 do
    b := !b + 1
  done;;
a 1;;

Expected behavior
Add a way to stop code execution

Screenshots
image

Smartphone (please complete the following information):

  • Device: iPhone X
  • OS: iOS 14.4.2
  • Version: 1.1.1

Additional context

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions