Crates / Assemblies are the compilation unit which contain many modules.
From: [email protected] [mailto:[email protected]] On Behalf Of Alex Rozenshteyn Sent: Wednesday, 24 July 2013 9:00 PM To: Discussions about the BitC language Subject: Re: [bitc-dev] A solution for overlapping and colliding instances Why wouldn't it be a link-time failure (as opposed to a compile-time failure)? Individually, the modules are fine, but it's linking them together that's the problem. Or are we not treating individual modules as units of separate compilation? This reminds me a bit of how Agda encodes type classes using instance arguments: if there's exactly one term of the required type in scope at the use, it's taken as the argument; otherwise, there is a compile error.
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
