Skip to content

Fix: REPL support for stdlib

E. Rivas requested to merge er433/repl/stdlib into dev


For LIGO developers

There's a bug, REPL is not loading the stdlib:

$ ligo repl cameligo
Welcome to LIGO's interpreter!
Included directives:
  #use "file_path";;
  #import "file_path" "module_name";;
In  [1]: String.concat "foo" "bar";;
Out [1]: 
Module "String" not found. 

This MR fixes the bug by adding the compiled stdlib to the environment for the REPL.

Changelog details:

Edited by E. Rivas

Merge request reports