search

abau / co4

COmplexity COncerned COnstraint COmpiler
GNU General Public License v3.0
2 stars 3 forks source link

CO4 options: distinguish between static and dynamic #34

Open jwaldmann opened 11 years ago

jwaldmann commented 11 years ago

at the moment, CO4 is configurable like this

$( runIO $ configurable [ Verbose
                        , ImportPrelude
                        -- , DumpAll "/tmp/sl" 
                        -- , Profile
                        , Cache
                        ] 
         $ compileFile "CO4/Test/SL.standalone.hs" )

This means I have to know all the options at compile-time.

There should be a way to set some of these options at run-time (Verbose,Profile, maybe Cache)

abau commented 11 years ago

Profile and Cache affect the code generation of the abstract program, so these flags must be known during compilation time.