gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.1 http://bit.ly/nNVIVH
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 268 seconds]
ulfdoz_ is now known as ulfdoz
emmanuelux has quit [Remote host closed the connection]
iago has quit [Quit: Leaving]
emmanuelux has joined #ocaml
dnolen has joined #ocaml
ftrvxmtrx has joined #ocaml
oriba has quit [Quit: oriba]
srcerer has quit [Ping timeout: 252 seconds]
dnolen has quit [Quit: dnolen]
pilki has joined #ocaml
sepp2k has quit [Read error: Connection reset by peer]
emmanuelux has quit [Remote host closed the connection]
pilki has quit [Quit: This computer has gone to sleep]
sebz has joined #ocaml
sebz has quit [Quit: Computer has gone to sleep.]
shawn has joined #ocaml
srcerer has joined #ocaml
bwright has joined #ocaml
EmmanuelOga has quit [Ping timeout: 244 seconds]
everyonemines has joined #ocaml
milosn has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
ankit9 has quit [Quit: Leaving]
struktured has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
Pepe__ has joined #ocaml
edwin has joined #ocaml
Pepe__ is now known as Pepe_
lamawithonel has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
lamawithonel has joined #ocaml
everyonemines has quit [Quit: Leaving.]
ulfdoz has quit [Ping timeout: 244 seconds]
ulfdoz has joined #ocaml
<vivanov> is reading from file thread safe -- File.read_lines and Unix.read?
<vivanov> i mean multiple processes/threads reading from one file
Cyanure has joined #ocaml
Cyanure has quit [Client Quit]
zorun has quit [Quit: leaving]
zorun has joined #ocaml
ikaros has joined #ocaml
ttamttam has joined #ocaml
milosn has quit [Ping timeout: 245 seconds]
spearalot has joined #ocaml
<flux> vivanov, they should have separate file handles
ftrvxmtrx has quit [Quit: Leaving]
Kakadu has joined #ocaml
<vivanov> flux: ok, thx a lot
ttamttam has quit [Remote host closed the connection]
samposm_ is now known as samposm
Anarchos has joined #ocaml
eikke has joined #ocaml
ulfdoz has quit [Quit: brb]
pilki has joined #ocaml
ulfdoz has joined #ocaml
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
ttamttam` has joined #ocaml
ttamttam` has quit [Remote host closed the connection]
testcocoon has quit [Read error: Connection reset by peer]
ikaros has quit [Quit: Ex-Chat]
testcocoon has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
oriba has joined #ocaml
<oriba> hello, I'm not sure about how to organise my datatype for my dsl
<oriba> I have simple values like StringVal and IntVal
<oriba> but I also need to have aggregations
<oriba> at least lists
<oriba> Would it be more natural to have StringVal and StringList and IntVal and IntList or base_t = Int of int | String of String
<oriba> together with Simple of base_t and List of base_t list ??
<oriba> Or is it just a ,matter of taste?
BiDOrD has joined #ocaml
BiDOrD has quit [Read error: Connection reset by peer]
BiDOrD has joined #ocaml
kejoki__ has joined #ocaml
<Drakken> oriba can you say more about what you're trying to do?
<oriba> hmhh
<oriba> at the moment it's an interpreter (and will be maybe become a compiler, aat least when I learnt from it)
<oriba> I have already created an AST
<oriba> but not sure if my design decision was so good
<oriba> at the moment I can't handle lists
<oriba> it already is possible to use expressions with operators
<oriba> so I can do addition and multiplication and use variables
<oriba> but some of my built-in functions give back a list of values
<oriba> Drakken, so I need to add Aggregations
<Drakken> how did you implement your interpreter?
<oriba> I may later also add lists to the language itself (not sone so far)
<oriba> I used ocamlleyy and ocamlyacc.
<oriba> the later one creates an AST
<oriba> but I'm not sure about the design
<oriba> maybe I need to convert the first AST to another one
<oriba> more abstract
<kejoki__> trying to 'fun y -> expr' and get 'float -> float = <fun>', but the idea is to ignore y in expr. How do I force y to be a float? (Or maybe do it a more ML-ish way?)
<oriba> atm it's not a compiler, so I don't need to handle registers
* kejoki__ <-- just stepped off the boat...
<oriba> Drakken, I also have not a functional lang DSL, it is imperative, so I handle statements and expressions seperately
<hcarty> oriba: There was a discussion similar to this on one of the mailing lists
<oriba> hcarty, aha
<hcarty> oriba: I think the suggestion was to use something similar to your base_t version
<oriba> when was it?
<oriba> hcarty, aha ok, thanks
<hcarty> oriba: Within the last week or two, but I don't remember if it was the main list or the beginners' list
<oriba> hcarty, for parsing it seems to be easier "the flat way"... would it make sense to convert later?
<oriba> or directly create the base_t and aggregaton stuff in ocamlyacc?
<Drakken> kejoki__ "float -> float" means y already has to be a float
<hcarty> oriba: Or you could have type t = Int of int | String of string | List of t list
<oriba> hcarty, ok, this hint is helpful
<hcarty> kejoki__: You could use (fun (y : float) -> ...)
<oriba> hcarty, List of t list? ah hmhhh... looks interesting
<oriba> I forgot that this is possible in OCaml :)
<hcarty> oriba: Best of luck with it :-)
<oriba> thanks :)
<oriba> it looks good
<oriba> I hiope in parsing this it also is easy
<hcarty> kejoki__: For example, let f (y : float) = 1.0
<kejoki__> Drakken yeah. hcarty - thanks. I was almost there. The parens are eating my lunch...too used to lisp.
<oriba> bye!
oriba has quit [Quit: oriba]
<Drakken> over 30 hours and I still haven't gotten a confirmation from registering with the GODI mailing list.
milosn has joined #ocaml
eikke has joined #ocaml
kejoki__ has left #ocaml []
pilki has quit [Quit: This computer has gone to sleep]
pilki has joined #ocaml
pilki has quit [Client Quit]
maufred has quit [Read error: Operation timed out]
ulfdoz has quit [Ping timeout: 252 seconds]
ulfdoz has joined #ocaml
ftrvxmtrx has joined #ocaml
ikaros has joined #ocaml
emmanuelux has joined #ocaml
ftrvxmtrx_ has joined #ocaml
ftrvxmtrx has quit [Ping timeout: 276 seconds]
<Kakadu> hi all!
<Kakadu> Does ocamlbuild/oasis grants a user this hack: call specific command just after ocamlyaccing a specific file?
<adrien> Kakadu: I don't think so
<adrien> something I've done in my current project is to use several folders, each with their _oasis file
<adrien> and the whole stuff is driven with a quite simple makefile
<Kakadu> TT
<adrien> several libs which I build and then install locally, possibly with intermediate steps
<adrien> but I haven't managed to propagate information about which libs have changed and I sometimes have to clean the whole project to force the recompilation of some libs because one component they're depending on had its ABI change
<Kakadu> I have such source : http://paste.in.ua/3493/raw/. And after ocamlyaccing no information in mli file about functor
EmmanuelOga has joined #ocaml
<adrien> I almost never use *yacc/*lex and can't help on this specific issue, but you're pasting XML data from OSM?
<Kakadu> parsing, not pasting
<adrien> arf, yeah :P
<adrien> but why not use an already-existing XML parser?
<Kakadu> I've found an article about translating monad combinators to finite automata
<Kakadu> this is an example for this article
<adrien> ah, ok, because there's even a shortest path application for OSM
<adrien> good luck
<adrien> (but remember that OSM's xml data can contain arbitrary attributes/names/...)
<hcarty> Drakken: If it's something that Gerd needs to do manually then it could take a little while. He tends to be pretty busy.
<adrien> yeah, it's something he has to do manually
ftrvxmtrx_ has quit [Quit: Leaving]
<hcarty> The oasis-db "What's new" list has been active. That's promising.
ftrvxmtrx has joined #ocaml
g0dmoney- has quit [Read error: Connection reset by peer]
g0dmoney- has joined #ocaml
g0dmoney- has quit [Read error: Connection reset by peer]
g0dmoney- has joined #ocaml
g0dmoney- has quit [Ping timeout: 252 seconds]
g0dmoney- has joined #ocaml
g0dmoney- has quit [Ping timeout: 255 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-090423]: i've been blurred!]
zorun has quit [Quit: leaving]
g0dmoney- has joined #ocaml
zorun has joined #ocaml
sebz has joined #ocaml
g0dmoney- has quit [Ping timeout: 252 seconds]
ikaros has quit [Quit: Ex-Chat]
g0dmoney- has joined #ocaml
<adrien> Lwt_react and Lwt_react.E aren't very explicit: what do they do/provide exactly? is each event going to be in a separate lwt thread?
<hcarty> adrien: I've wondered that too. It wasn't clear in the documentation last time I looked
<adrien> I don't know if the web doc is the latest one but it's not clear there
testcocoon has quit [Quit: Coyote finally caught me]
<adrien> the "thing" is that if it's the case, I think it's a magical solution to my current issue
testcocoon has joined #ocaml
<adrien> looks like it maybe does
<adrien> well, I'll try and if it doesn't work...
<adrien> arf, my slackware install is missing lwt and react while my godi's lablwebkit install is broken
<hcarty> adrien: odb for react and lwt?
<hcarty> thelema: Ping
<adrien> thelema: I need to make slackware packages for them or I'm going to be killed by at least 10 people
<adrien> I should make my lwt-question more precise: if I fold with a function 'f' over Lwt_react events, is f going to be run in parallel?
fridim_ has joined #ocaml
BiDOrD has quit [Quit: No Ping reply in 180 seconds.]
sebz has quit []
BiDOrD has joined #ocaml
lamawithonel has quit [Ping timeout: 240 seconds]
EmmanuelOga has quit [Quit: WeeChat 0.3.7-dev]
ttamttam has joined #ocaml
ttamttam has quit [Quit: ttamttam]
ttamttam has joined #ocaml
ttamttam has left #ocaml []
eikke has quit [Ping timeout: 240 seconds]
eo-helios has joined #ocaml
spearalot has quit [Quit: Computer has gone to sleep]
lamawithonel has joined #ocaml
oriba has joined #ocaml
<adrien> actually, I don't want single invocations of the function given to Lwt_react.E.fold_s to be in lwt threads but I was the whole fold_s to be
Kakadu has quit [Quit: Konversation terminated!]
lamawithonel has quit [Remote host closed the connection]
struktured has quit [Ping timeout: 252 seconds]
g0dmoney- has quit [Changing host]
g0dmoney- has joined #ocaml
Cyanure has joined #ocaml
ulfdoz has quit [Quit: brb]
eo-helios has left #ocaml []
eikke has joined #ocaml
BiDOrD_ has joined #ocaml
ulfdoz has joined #ocaml
BiDOrD has quit [Ping timeout: 255 seconds]
Xizor has joined #ocaml
spearalot has joined #ocaml
ztfw has joined #ocaml
eikke has quit [Ping timeout: 244 seconds]
ztfw has quit [Ping timeout: 240 seconds]
<hcarty> thelema: I have some odb commits I need to test and then push for you to look at: Support for ustom build and install directories; Support for custom and multiple package sources
eikke has joined #ocaml
edwin has quit [Remote host closed the connection]
h0x00 has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
Xizor has quit []
h0x00 has quit [Read error: Connection reset by peer]
h0x00 has joined #ocaml
h0x00 has quit [Read error: Connection reset by peer]
h0x00 has joined #ocaml
h0x00 has quit [Read error: Connection reset by peer]
h0x00 has joined #ocaml
Morphous has quit [Ping timeout: 240 seconds]
h0x00 has quit [Client Quit]
mfp has quit [Ping timeout: 240 seconds]
Morphous has joined #ocaml
oriba has quit [Quit: oriba]
mfp has joined #ocaml
Cyanure has quit [Quit: Quitte]
pilki has joined #ocaml
eikke has joined #ocaml
eikke has quit [Ping timeout: 252 seconds]
spearalot has quit [Quit: Get MacIrssi - http://www.sysctl.co.uk/projects/macirssi/]
avsm has quit [Quit: Leaving.]