Various modules related bugs - Githubissues

ocsigen / eliomlang

Runtime and tools for the eliom language

ISC License

9 stars 1 forks source link

Various modules related bugs #18

Open Drup opened 7 years ago

Drup commented 7 years ago

Decomposition in components is lazy, which causes issues when things that are poly but loaded in a specific side. Easy to reproduce with
```
module%client M = Map.Make(String)
module%server N = Map.Make(String)
```

Module aliases are not checked for inclusion.

module N = struct type%client t type%server t' end
module%client M = N