Version française
Home     About     Download     Resources     Contact us    
Browse thread
instanciation of functor using command line
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Sébastien Hinderer <Sebastien.Hinderer@e...>
Subject: Re: instanciation of functor using command line
Hey Thomas :)

Why not make a little (Caml) script that would parse the command-line
(or an input file) and produce as output a file applying F to the
selected implementations ?
Parsing the command-line may not be that ugly: just define N lists, each
containing the possible values for the module Mi, so that you just have
to check that argument n is a member of the corresponding list.

My 2 cents,
Sébastien.