keen___________8 has quit [Ping timeout: 250 seconds]
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
zpe has joined #ocaml
zpe has quit [Ping timeout: 268 seconds]
<Algebr>
I guess this channel and other ocaml stuff will be pretty quiet this week
Wickoo has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
BitPuffin|osx has quit [Ping timeout: 252 seconds]
tennix has joined #ocaml
Wickoo has quit [Ping timeout: 246 seconds]
<dsheets>
i think there will be some software releases/announcements
dsheets has quit [Excess Flood]
dsheets has joined #ocaml
<Algebr>
dsheets: oh really, something big? Surprise early multicore?
<Algebr>
Wondering about clarification, are the threads from Threads creating real OS preemptive Threads but only one Userland ocaml thread can interact with those OS threads?
<dsheets>
all threads can communicate but only one can hold the runtime lock at a time
<dsheets>
well behaved bindings will release the lock when doing things that don't require the runtime
pyon has quit [Quit: brb, stupid emacs]
pyon has joined #ocaml
Wickoo has joined #ocaml
Wickoo has quit [Client Quit]
dsheets has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
SomeDamnBody has quit [Ping timeout: 268 seconds]
nullcatxxx_ has joined #ocaml
dsheets has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
jeffmo has quit [Quit: jeffmo]
contempt has quit [Ping timeout: 255 seconds]
contempt has joined #ocaml
nullcatxxx_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
tmtwd has joined #ocaml
diethyl has joined #ocaml
bendiken has quit [Ping timeout: 260 seconds]
mcclurmc_ has joined #ocaml
mcclurmc has quit [Ping timeout: 272 seconds]
zpe has joined #ocaml
MrScout has joined #ocaml
zpe has quit [Ping timeout: 250 seconds]
Wichoo has joined #ocaml
Wichoo has quit [Client Quit]
sailorswift has joined #ocaml
BitPuffin|osx has joined #ocaml
enquora has quit [Quit: enquora]
Intensity has quit [Ping timeout: 244 seconds]
tmtwd has quit [Ping timeout: 256 seconds]
SomeDamnBody has joined #ocaml
Intensity has joined #ocaml
mcclurmc_ has quit [Remote host closed the connection]
Algebr has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Ping timeout: 264 seconds]
browncodes has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
jeffmo has joined #ocaml
ygrek has quit [Ping timeout: 246 seconds]
sailorsw_ has joined #ocaml
sailorswift has quit [Ping timeout: 264 seconds]
SomeDamnBody has quit [Ping timeout: 240 seconds]
samrat has joined #ocaml
johnf has joined #ocaml
<tibor>
Hi
<tibor>
How can I pass a function as a parameter for a function? (only as anonimus function?)
darkf has joined #ocaml
bbc has quit [Ping timeout: 256 seconds]
bbc has joined #ocaml
kaepora has quit [Ping timeout: 246 seconds]
kaepora has joined #ocaml
tobiasBora has quit [Ping timeout: 246 seconds]
regnat has quit [Ping timeout: 244 seconds]
bernardofpc has quit [Ping timeout: 260 seconds]
zpe has joined #ocaml
bernardofpc has joined #ocaml
tobiasBora has joined #ocaml
tmtwd has joined #ocaml
slash^ has joined #ocaml
BitPuffin|osx has quit [Ping timeout: 240 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
raichoo has quit [Ping timeout: 272 seconds]
mea-culpa has joined #ocaml
browncodes has quit []
zpe has joined #ocaml
ely-se has joined #ocaml
raichoo has joined #ocaml
Anarchos has joined #ocaml
regnat has joined #ocaml
damason has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
zpe has quit [Remote host closed the connection]
grouzen has joined #ocaml
kdas_ is now known as kushal
kushal has quit [Changing host]
kushal has joined #ocaml
zpe has joined #ocaml
grouzen has quit [Ping timeout: 244 seconds]
mort___ has joined #ocaml
samrat has quit [Ping timeout: 246 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
ollehar has joined #ocaml
ely-se has quit [Quit: leaving]
reynir has quit [Ping timeout: 256 seconds]
reynir has joined #ocaml
johnf has quit [Read error: Connection reset by peer]
Haudegen has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
psy_ has quit [Ping timeout: 264 seconds]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
mcorbin has joined #ocaml
Haudegen has joined #ocaml
mcorbin has quit [Client Quit]
Kakadu has joined #ocaml
mort___ has quit [Quit: Leaving.]
mea-culp` has joined #ocaml
mea-culpa has quit [Ping timeout: 240 seconds]
ggole has joined #ocaml
sailorswift has joined #ocaml
tane has joined #ocaml
frawgie has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
samrat has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
Algebr has quit [Ping timeout: 250 seconds]
MrScout has quit [Ping timeout: 240 seconds]
Armael has joined #ocaml
Armael has left #ocaml [#ocaml]
ely-se has joined #ocaml
zpe has joined #ocaml
[[mark]] has joined #ocaml
ely-se has quit [Quit: leaving]
sailorswift has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
theblatte has joined #ocaml
obadz has joined #ocaml
slash^ has joined #ocaml
ollehar has joined #ocaml
browncodes has joined #ocaml
samrat has quit [Ping timeout: 244 seconds]
samrat has joined #ocaml
mort___ has joined #ocaml
grouzen has joined #ocaml
ceryo has joined #ocaml
mort___ has quit [Remote host closed the connection]
[[mark]] has quit [Quit: ChatZilla 0.9.92 [Firefox 40.0.3/20150826023504]]
mort___ has joined #ocaml
_andre has joined #ocaml
sh0t has joined #ocaml
Wickoo has joined #ocaml
Wickoo has quit [Client Quit]
BitPuffin has joined #ocaml
browncodes has quit [Remote host closed the connection]
ely-se has joined #ocaml
sh0t has quit [Remote host closed the connection]
mea-culp` is now known as mea-culpa
tennix has quit [Ping timeout: 260 seconds]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
ollehar has quit [Ping timeout: 244 seconds]
mort___1 has joined #ocaml
mort___ has quit [Ping timeout: 252 seconds]
grouzen has quit [Ping timeout: 240 seconds]
ely-se has quit [Quit: leaving]
tane has quit [Quit: Verlassend]
ryanartecona has joined #ocaml
ollehar has joined #ocaml
mort___ has joined #ocaml
mort___1 has quit [Read error: Connection reset by peer]
mort___1 has joined #ocaml
ollehar has quit [Ping timeout: 264 seconds]
mort___ has quit [Ping timeout: 264 seconds]
mort___1 has quit [Client Quit]
tennix has joined #ocaml
mort___ has joined #ocaml
jtfmumm has joined #ocaml
ely-se has joined #ocaml
ely-se has quit [Client Quit]
samrat has quit [Ping timeout: 256 seconds]
rand000 has quit [Quit: leaving]
grouzen has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
ely-se has joined #ocaml
zpe_ has joined #ocaml
zaquest has quit [Quit: Leaving]
zpe has quit [Read error: Connection reset by peer]
zaquest has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
ely-se has quit [Quit: leaving]
zpe_ has quit [Read error: Connection reset by peer]
ely-se has joined #ocaml
tane has joined #ocaml
slash^ has joined #ocaml
ryanartecona has joined #ocaml
mcclurmc has joined #ocaml
ely-se has quit [Quit: leaving]
ryanartecona has quit [Quit: ryanartecona]
mort___ has quit [Ping timeout: 246 seconds]
ely-se has joined #ocaml
larhat has joined #ocaml
ely-se has quit [Client Quit]
raichoo has quit [Quit: Leaving.]
pyx has joined #ocaml
pyx has quit [Client Quit]
pyx has joined #ocaml
pyx has quit [Client Quit]
larhat has quit [Quit: Leaving.]
raichoo has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
samrat has joined #ocaml
ryanartecona has joined #ocaml
ygrek has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
psy has joined #ocaml
Cardoe has joined #ocaml
xet7_ has quit [Remote host closed the connection]
xet7_ has joined #ocaml
_obad_ has quit [Ping timeout: 246 seconds]
tane has quit [Quit: Verlassend]
mort___ has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
obadz- has joined #ocaml
obadz has quit [Ping timeout: 244 seconds]
marsam has joined #ocaml
jeffmo has quit [Quit: jeffmo]
ryanartecona has joined #ocaml
grouzen has quit [Ping timeout: 265 seconds]
psy has quit [Disconnected by services]
shinnya has joined #ocaml
psy_ has joined #ocaml
mort___ has quit [Ping timeout: 246 seconds]
Muzer has quit [Read error: Connection reset by peer]
Muzer has joined #ocaml
swgillespie has joined #ocaml
swgillespie has quit [Client Quit]
tennix has quit [Ping timeout: 255 seconds]
marsam has quit [Remote host closed the connection]
Anarchos has joined #ocaml
MrScout has joined #ocaml
tennix has joined #ocaml
tennix has quit [Ping timeout: 264 seconds]
Guest38 has joined #ocaml
johnf_ has joined #ocaml
Guest38 has quit [Client Quit]
Guest38 has joined #ocaml
_obad_ has joined #ocaml
jeffmo has joined #ocaml
raichoo has quit [Ping timeout: 268 seconds]
obadz- is now known as obadz
<Cardoe>
Hoping someone can help me with some syntax issues. I’m very very very new to OCaml so pardon the silliness. http://paste.ubuntu.com/12246807/
<zozozo>
Cardoe: you're missing an 'in' after you exception catching
<zozozo>
Cardoe: it should be let path = try ... with ... /xenbus" *in* print_string path;;
<Cardoe>
zozozo: So I’m wanting that string to be “returned” (sorry speaking like a procedural programmer here)
johnf_ has quit [Read error: Connection reset by peer]
jtfmumm has joined #ocaml
johnf_ has joined #ocaml
<Cardoe>
zozozo: Basically trying to fix some Xen code to try /dev/xen/xenbus first and then fall back to /proc/xen/xenbus. The original Xen code is at http://paste.ubuntu.com/12246833/
<Cardoe>
zozozo: But I think you solved it for me. Thank you!
enquora has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
tennix has joined #ocaml
<flux>
hmh, I suppose mirage isn't going to support kvm any time soon?
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<apache2>
56
shinnya has quit [Ping timeout: 260 seconds]
tennix has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
jwatzman|work has joined #ocaml
jao has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
<dsheets>
i think you can turn mirage apps into rump kernel apps and rump supports kvm
tennix has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
tennix has joined #ocaml
tennix has quit [Ping timeout: 246 seconds]
slash^ has quit [Read error: Connection reset by peer]
ygrek has quit [Ping timeout: 255 seconds]
tennix has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
sqweek has quit [Ping timeout: 250 seconds]
ryanartecona has joined #ocaml
sqweek has joined #ocaml
jtfmumm has joined #ocaml
icicled has joined #ocaml
darkf has quit [Ping timeout: 256 seconds]
MrScout has quit [Read error: Connection reset by peer]
bendiken has joined #ocaml
MrScout has joined #ocaml
grouzen has joined #ocaml
MrScout has quit [Read error: Connection reset by peer]
MrScout has joined #ocaml
tennix has joined #ocaml
raichoo has joined #ocaml
tennix has quit [Ping timeout: 250 seconds]
MrScout_ has joined #ocaml
MrScout has quit [Ping timeout: 244 seconds]
tennix has joined #ocaml
jtfmumm has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
tennix has quit [Ping timeout: 268 seconds]
Denommus has joined #ocaml
Kakadu has quit [Quit: Page closed]
<Denommus>
hi
<Denommus>
is there a function in Lwt similar to bind, but with signature 'a t -> ('a lazy -> 'b t) -> 'b t?
<Denommus>
that is, I don't want to wait for the result of the first parameter. Instead, I want to take the possible result as a lazy value
<Denommus>
if I try to force it, it should wait for the answer
<companion_cube>
I don't think so
<companion_cube>
but you can do let fut = a in (* code here *) .... (* force here *) a >>= fun x -> b
<mrvn>
why not 'a lazy t -> ('a lazy -> 'b t) -> 'b t?
jwatzman|work has quit [Read error: Connection reset by peer]
<Denommus>
mrvn: I need the first parameter to be strict because of reasons
<mrvn>
you can't make it lazy after evaluation.
<Denommus>
mrvn: wait, you're right, that's what I need
BitPuffin has quit [Ping timeout: 256 seconds]
<Algebr>
on big ml files, merlin craps out with "Merlin was already processing..." in emacs.
<Algebr>
Is this a known issue
<apache2>
Parse error: [opt_when_expr] expected after [patt_as_patt_opt] (in [match_case0])
<apache2>
what does this mean?
obadz has quit [Ping timeout: 264 seconds]
<Algebr>
probably easier to show code?
funk has joined #ocaml
obadz has joined #ocaml
MrScout_ has quit [Remote host closed the connection]
<apache2>
match foo with | { myopt = Some opt; } -> ....
<apache2>
ah right I had | failwith ... instead of | _ -> failwith ...
c74d has quit [Ping timeout: 256 seconds]
c74d has joined #ocaml
<apache2>
hmm, new question: I have `type _ type_t = Type_a : 'a -> 'a type_t | Type_b : 'b -> 'b type_t`, but that means I can end up with recursive types like `string type_t type_t`
<apache2>
how do I limit it so 'a and 'b can't be type_t ?
<mrvn>
you can't
<mrvn>
no that that type makes much sense anyway
<apache2>
I use it to tag various types throughout my application to make sure they've been constructed either as Type_a or Type_b, for static taint analysis
<mrvn>
s/no/not/
<apache2>
but my knowledge of GADT is pretty weak
<mrvn>
normaly you have a GADT so you can know the type. But 'a and 'b can both be any type. So doesn't help to have the two.
Haudegen has quit [Ping timeout: 244 seconds]
<apache2>
so I should just make the 'a and 'b 'string' or a [> type]
<apache2>
?
<mrvn>
if you have a more concret type than 'a then by all means use it
<apache2>
the problem is that I have a broad 'opt' type, but certain options are only valid in some contexts
<apache2>
and I wasn't sure how to express that in the type system
<apache2>
sometimes all of them are valid (when I need to print the name, for example)
<mrvn>
type _ t = String : string -> string t | Foo : foo -> foo t ...
<mrvn>
or type t = String of string | Foo of foo | ...
<mrvn>
[ `Type ], [< `Type] and [> `Type]
<apache2>
can it be done without polymorhpic variants>?
<mrvn>
restricting the opt type sounds like you want polymorphic variants
<apache2>
perhaps if there was a way to make a type be a "superclass" of
<apache2>
the groups of opts
Kakadu has joined #ocaml
<mrvn>
polymorphic variants do that. or objects in other cases
samrat has quit [Ping timeout: 260 seconds]
MrScout has joined #ocaml
<apache2>
oh ok, I've just been told to stay away from objects at all cossts
<apache2>
perhaps I need objects then?
<mrvn>
no, polymorphic variants sounds right
<apache2>
problem with polymorphic variants is that I can't make them opaque
slash^ has joined #ocaml
<flux>
at all costs? but ocaml objects are great!
<flux>
not a beginner topic, though
<apache2>
probably why that was the recommendation given to me :)
Haudegen has joined #ocaml
samrat has joined #ocaml
swgillespie has joined #ocaml
raichoo has quit [Ping timeout: 252 seconds]
MrScout has quit [Remote host closed the connection]
tennix has joined #ocaml
samrat has quit [Ping timeout: 272 seconds]
tennix has quit [Ping timeout: 272 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Kakadu has quit [Remote host closed the connection]
Haudegen has joined #ocaml
raichoo has quit [Ping timeout: 256 seconds]
shinnya has quit [Ping timeout: 264 seconds]
MrScout has quit [Remote host closed the connection]
Guest38 has quit [Read error: Connection reset by peer]
lobo has quit [Quit: leaving]
ryanartecona has joined #ocaml
SomeDamnBody has joined #ocaml
ryanartecona has quit [Quit: ryanartecona]
<SomeDamnBody>
does anybody know how to tell oasis that even though my MainIs is main.ml, that I want my executable name to be what I wrote next to Executable as the guide says?
<SomeDamnBody>
is it my _tags file that getting in the way with this?
<Algebr>
That's just for build, when you do make install, it will be named the correct thing
<SomeDamnBody>
ah ok
obadz- has quit [Ping timeout: 250 seconds]
obadz has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
ryanartecona has joined #ocaml
tmtwd has quit [Ping timeout: 268 seconds]
JuggleTux has quit [Quit: leaving]
madroach has quit [Ping timeout: 264 seconds]
Guest38 has joined #ocaml
madroach has joined #ocaml
Algebr has quit [Remote host closed the connection]