08:06 <mort___> nah, sorted now. thanks! (was getting told "—unix" wasn't valid — but it was, i think, because i'd forgotten to put "-f" in front of the config.ml)

08:06 <mort___> drup: ^^

19:36 <cojy> is there an extension using ppx or whwatever that will let me turn: "foo (fun () -> x y)" into "foo (x y)"

19:36 <cojy> or with a data constructor

19:39 <Drup> I guess you want to keep the lazyness aspect ?

19:40 <cojy> yes

19:42 <Drup> I don't think I have seen one doing that

19:42 <Drup> but, frankly, just write it the thunk ..

19:42 <Drup> +with

19:44 <cojy> nah it's terrible like that

19:44 <cojy> this is for a lazy dsl wh ere it has to be everywhere

19:45 <Drup> and using actual lazyness is not possible ?

19:46 <Drup> (Just trying to make you consider all the numerous options before resorting to the ppx solution :p)

19:51 <cojy> i could thunk every single expression in the language but then that forces me to add ";" to the dsl, write things differently using lists, and add a bunch of overhead

19:51 <cojy> using effects/delimcc is the only other option and i dont want to use those

19:53 <cojy> oh and oops im in #mirage not #ocaml

19:54 <Drup> I'm surprised you can't just make your combinators and functions lazy and that would be enough for most of it, but I don't know the domain. Doing this ppx is not very complicated, so you could it yourself