<div dir="ltr">Hi guys,<br><br>I'm experimenting with generic modules. My first one is for Ini files.<br><br><br>==============================================================<br>module IniFile  =<br><br>    (* Define useful shortcuts *)<br>
<br>    let eol = Util.del_str "\n"<br>    let del_to_eol = del /[^\n]*/ ""<br>    let value_sep = del /[ \t]*=[ \t]*/ "="<br>    let value_to_eol = store /([^ \t\n][^\n]*)?/<br><br><br>    (* Define entry function *)<br>
<br>    let entry (kw:regexp) = [ key kw . value_sep . value_to_eol . eol ]<br><br>    (* Define comment and empty strings *)<br><br>    let comment = [ label "comment" . del /#[ \t]*/ "#" .  store /([^ \t\n][^\n]*)?/ . eol ]<br>
    let empty  = [ del /[ \t]*/ "" . eol ]<br><br><br>    (* Define record *)<br><br>    let title = Util.del_str "[" . store /[^]= ]+/ . Util.del_str "]". eol<br><br>    let record (label_name:string) (entry:lens) = [ label label_name . title . entry* ]<br>
==============================================================<br><br><br>which allows me to rewrite dput.aug as :<br><br><br>==============================================================<br><br>module Dput =<br>  autoload xfm<br>
<br>    let settings = IniFile.entry "allow_non-us_software"<br>                 | IniFile.entry "allow_unsigned_uploads"<br>                 | IniFile.entry "check_version"<br>                 | IniFile.entry "default_host_main"<br>
                 | IniFile.entry "default_host_non-us"<br>                 | IniFile.entry "fqdn"<br>                 | IniFile.entry "hash"<br>                 | IniFile.entry "incoming"<br>
                 | IniFile.entry "login"<br>                 | IniFile.entry "method"<br>                 | IniFile.entry "passive_ftp"<br>                 | IniFile.entry "post_upload_command"<br>
                 | IniFile.entry "pre_upload_command"<br>                 | IniFile.entry "run_dinstall"<br>                 | IniFile.entry "run_lintian"<br>                 | IniFile.entry "scp_compress"<br>
<br><br>    let record = IniFile.record "target" settings<br><br><br>    let lns = ( IniFile.comment | record | IniFile.empty )*<br><br>    let filter = (incl "/etc/<a href="http://dput.cf">dput.cf</a>")<br>
        . (incl "~/.<a href="http://dput.cf">dput.cf</a>")<br>        . Util.stdexcl<br><br>    let xfm = transform lns filter<br><br><br>==============================================================<br><br><br>
Obviously, this is a work in progress, which might not yet support all kinds of generic IniFiles syntax. All comments and contributions are welcome.<br><br><br>Cheers,<br><br><br>Raphaël<br></div>