Skip to content

feat: support loading modules from external packages - #33

Merged
dhalilov merged 7 commits into
epfl-systemf:mainfrom
dhalilov:support-external-modules
Sep 14, 2026
Merged

feat: support loading modules from external packages#33
dhalilov merged 7 commits into
epfl-systemf:mainfrom
dhalilov:support-external-modules

Conversation

@dhalilov

@dhalilov dhalilov commented Sep 14, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

This PR enables loading modules from other packages, e.g. Camltac.Examples:

Require Import Camltac.Camltac.
From Camltac.Examples Require Import IdentParsing.

Camltac Check IdentParsing. (* … *)

@dhalilov dhalilov added this to the 0.1 milestone Sep 14, 2026
@dhalilov dhalilov added the enhancement New feature or request label Sep 14, 2026
@dhalilov
dhalilov merged commit 4f7b0a3 into epfl-systemf:main Sep 14, 2026
6 checks passed
@dhalilov
dhalilov deleted the support-external-modules branch September 14, 2026 22:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

enhancement New feature or request

Projects

None yet

Milestone

0.1

Development

Successfully merging this pull request may close these issues.

1 participant

@dhalilov