This repository has been archived by the owner on Sep 9, 2020. It is now read-only.

Multiple loads of modules should cause an error message #649

Open

MeBrei opened this issue May 29, 2019 · 0 comments

Contributor

MeBrei commented May 29, 2019

If a module is loaded that has already been loaded by prelude, an error should be thrown.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.