So, at the moment, "flx" and "flxg" recognise two file extensions: *.flx and
*.fdoc.
However, both are parsed exactly the same way. We start assuming felix code
in both cases, and the sequence
@blah ...
...
@felix
is considered as a comment (for any "blah" you like). The only hassle is that
to say
the @ has to be in column 1 I have to test for a preceding newline,
so an @ at the very start of the file won't be recognised (I think I can fix
this by changing
the lexer to use a function that fetches data, and injects a leading newline to
fool the parser)
The code to handle
include "fred";
is therefore a serious mess because it finds the latest of
fred.flx
fred.fdoc
and similarly all the dependency checking (in both flxg and flx) is a mess.
So I'm thinking to just get rid of *.fdoc altogether.
The only hassle is the webserver. It processes *.fdoc differently from *.flx.
In particular *.fdoc files can *contain* felix code just fine, and fdoc does
this
by calling the plugin that handles *.flx code. But the *.flx plugin can't handle
@blah .. @felix comments. It doesn't need to because the *.fdoc plugin can,
and only feeds the *.flx plugin code *between* these comments.
Unfortunately .. flx and fdoc formatters aren't coroutines.. :)
However I can fix this some way.
Of course .. the next step is for "flx" to handle "tanglers" properly.
[Actually quite easy .. just run flx_iscr to create some files and then
process them as per usual ... :]
--
john skaller
[email protected]
http://felix-lang.org
------------------------------------------------------------------------------
CenturyLink Cloud: The Leader in Enterprise Cloud Services.
Learn Why More Businesses Are Choosing CenturyLink Cloud For
Critical Workloads, Development Environments & Everything In Between.
Get a Quote or Start a Free Trial Today.
http://pubads.g.doubleclick.net/gampad/clk?id=119420431&iu=/4140/ostg.clktrk
_______________________________________________
Felix-language mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/felix-language
