On Thu, May 22, 2008 at 5:11 PM, john skaller
<[EMAIL PROTECTED]> wrote:
> Sure, you can try. However these libraries will be sequentially
> dependent, both on each other and internally, so you won't really
> gain any separation.


It'd only be linear if we don't have other tools that are using the
libraries. Something like "flx-as" would only use the flx reader, the
core types and utilites, and the ast writer. "flx-dis" would use the
ast reader, the core types and utilites, and the flx writer.


> The latter is partly a design problem in Ocaml: you cannot write like
> in Python
>
>        open Dir.Mod
>
> Dependencies are therefore going to be like
>
>        ../sibling
>
> which is bad style: you should never depend on a sibling
> directory. In particular in Ocaml the only way to do that would require
> adding more and more components to search paths: maybe OK for
> Ocaml itself but ocamldoc, ocamldep etc are likely to be confused
> by this.


Actually, both ocamldoc and ocamldep accept search path options, so we
can still use those. I agree that it can be a bit of a pain though. We
could build pack files though, then you could at least do Pack.Module
for the modules using the library.


>> The idea with marshaling the data is that we'd have a library for
>> reading and writing it that the felix compiler and other utilities
>> would use. That ought to make it portable on the same system.
>
> Yes, though it doesn't help with 3PL code written in, say, C.


Of course. I just meant portable as in things using the libraries
could read in the output, not the "portable to other operating
systems" way.


>> Are you talking about c-style switches?
>
> Yes, more or less. At the moment a goto-chain is synthesised in the
> front end. This is bad, because it prevents later type analysis, for
> example
> checking case completeness.


How much work do you think it'll take to add this? Are they expanded
before the type checking? If so, it'd probably be more difficult than
I expected.

-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Felix-language mailing list
Felix-language@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/felix-language

Reply via email to