Skip to content
GitLab

Fix package path finding in ModRes + support package paths in REPL & Test interpreter

Merged Melwyn Saldanha requested to merge melwyn95/fix/module-resolution-find-path into dev

type:fixed

  • has a changelog entry

  • Fix ModRes.find_external_file

  • Fix #use and #import in REPL when using external library files (I think this got reverted by mistake in MR: !1356 (merged))

    • REPL tests for external library file

  • Fix Test.originate_from_file when using external library files

    • A test for external library file

  • Docs

    • Upgrading LIGO package
    • Using LIGO package via REPL

  • Clean up ModRes.ml

Description details:

Fix package path finding in ModRes + support package paths in REPL & Test interpreter

Edited by Melwyn Saldanha