Ambiguity in TH reify based on compilation method
The attached tar.gz contains a simple example where compiling with --make results in a different semantics than compiling all the modules with -c and then linking them together.
This is shown by build.sh, so just start by running that.
The ambiguity comes from the fact that the compiler is not starting the compilation of modules with a clean slate when using --make. This can be seen in compiler/iface/LoadIface.lhs line 276.
I'm not sure if/how we should do anything about this urgently. Just wanted to note down this ambiguity, so we know it's there and can care about fixing it if we want to.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 7.6.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | low |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |