mirror of
https://github.com/anoma/juvix.git
synced 2024-12-15 10:03:22 +03:00
89ccef3da4
* Throw error when reading a file that conflicts with stdlib The Files effect first tries to read a file from the embedded stdlib. If this succeeds and the file also exists in the project then an error is thrown. This error can be thrown either at the parsing stage, if the entrypoint file conflicts with the standard library, or at the scoping stage if an imported file conflicts. * Fix module name in test file |
||
|---|---|---|
| .. | ||
| Arity | ||
| BackendC | ||
| MonoJuvix | ||
| Scope | ||
| Termination | ||
| TypeCheck | ||
| Arity.hs | ||
| BackendC.hs | ||
| Base.hs | ||
| Main.hs | ||
| MonoJuvix.hs | ||
| Scope.hs | ||
| Termination.hs | ||
| TypeCheck.hs | ||