adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml MOOC http://1149.fr/ocaml-mooc | OCaml 4.02.3 announced http://ocaml.org/releases/4.02.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
ohama has quit [Remote host closed the connection]
ohama has joined #ocaml
zv has quit [Ping timeout: 246 seconds]
Stalkr^ has joined #ocaml
Stalkr_ has quit [Read error: Connection reset by peer]
Anarchos has quit [Quit: Page closed]
teknozulu has quit [Ping timeout: 240 seconds]
jacquev6 has quit [Quit: jacquev6]
Denommus has quit [Quit: going home]
Algebr` has quit [Ping timeout: 246 seconds]
kakadu has quit [Remote host closed the connection]
madroach has quit [Read error: Connection reset by peer]
Nahra``` has quit [Read error: Connection reset by peer]
Nahra``` has joined #ocaml
dalastboss has quit [Quit: Page closed]
badon_ has joined #ocaml
badon has quit [Disconnected by services]
badon_ is now known as badon
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
exm has joined #ocaml
Bhaskar has joined #ocaml
struk|desk|away is now known as struk|desk2
Stalkr^ has quit [Quit: Leaving...]
teknozulu has joined #ocaml
shinnya has quit [Ping timeout: 255 seconds]
pyon is now known as lagrangi-wan
lobo has quit [Quit: leaving]
FreeBirdLjj has joined #ocaml
<Mirry> Does ocaml have an idiomatic way to generate a list of integers, such as range in python?
<Mirry> Nvm, found List.range from core package
govg has joined #ocaml
teknozulu has quit [Ping timeout: 264 seconds]
teknozulu has joined #ocaml
teknozulu_ has joined #ocaml
teknozulu has quit [Ping timeout: 250 seconds]
teknozulu_ has quit [Ping timeout: 250 seconds]
govg has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
govg has joined #ocaml
govg has quit [Ping timeout: 260 seconds]
struk|desk2 has quit [Remote host closed the connection]
madroach has joined #ocaml
struk|desk has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
ygrek_ has quit [Ping timeout: 276 seconds]
psy_ has quit [Read error: No route to host]
psy_ has joined #ocaml
madroach has joined #ocaml
d0nn1e has quit [Ping timeout: 250 seconds]
madroach has quit [Read error: Connection reset by peer]
d0nn1e has joined #ocaml
govg has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
tmtwd has joined #ocaml
madroach has joined #ocaml
<please_help> is it possible to introduce a variable's value in a match clause, such as "let x = 5 in function | 0 -> `Something | x -> `Value | _ -> `Nothing" ? Apparently this instead resolves to x being a match variable and one has to use a guard with this syntax.
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
<jeffmo> please_help: just use a different match variable than `x` in your pattern?
<please_help> I think you understood the question backward. I don't want to use another variable in my pattern, I want to match against the value of x rather than the catch-all variable x.
madroach has joined #ocaml
<jeffmo> oh i see -- I don't think so, I think this is what guards are for
madroach has quit [Read error: Connection reset by peer]
<jeffmo> let x = 5 in function | 0 -> `Something | v where v = x -> `Value | _ -> `Nothing
teknozulu has joined #ocaml
pierpa has quit [Ping timeout: 240 seconds]
madroach has joined #ocaml
pothepanda has quit [Quit: ciao~!]
<please_help> Too bad, but I guess that's the only option then.
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
psy_ has quit [Remote host closed the connection]
cody` has joined #ocaml
madroach has joined #ocaml
lagrangi-wan is now known as hamilto-nyan
madroach has quit [Read error: Connection reset by peer]
jeffmo has quit [Ping timeout: 260 seconds]
mac10688 has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
Bhaskar has quit [Quit: Leaving.]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
Mirry has quit [Ping timeout: 272 seconds]
Mercuria1Alchemi has joined #ocaml
struk|desk2 has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
struk|desk has quit [Ping timeout: 272 seconds]
govg has quit [Ping timeout: 264 seconds]
govg has joined #ocaml
sz0` is now known as sz0
sz0 is now known as sz0`
JacobEdelman has quit [Quit: Connection closed for inactivity]
darkf_ has joined #ocaml
darkf has quit [Disconnected by services]
darkf_ is now known as darkf
govg has quit [Ping timeout: 276 seconds]
govg has joined #ocaml
struk|desk2 is now known as struk|desk|away
govg has quit [Ping timeout: 264 seconds]
tmtwd has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
hamilto-nyan has quit [Quit: Loops are hard, let's GOTO shopping!]
teknozulu has quit [Ping timeout: 240 seconds]
kushal has quit [Read error: Connection reset by peer]
teknozulu has joined #ocaml
sfri has quit [Remote host closed the connection]
kushal has joined #ocaml
govg has quit [Ping timeout: 276 seconds]
igoroliveira has quit [Quit: Connection closed for inactivity]
govg has joined #ocaml
sfri has joined #ocaml
alsm has joined #ocaml
blub` has joined #ocaml
blub has quit [Ping timeout: 260 seconds]
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
cody` has quit [Quit: Connection closed for inactivity]
teknozulu has quit [Ping timeout: 260 seconds]
ely-se has joined #ocaml
madroach has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
madroach has joined #ocaml
sz0` is now known as sz0
sz0 is now known as sz0`
madroach has joined #ocaml
badon has quit [Disconnected by services]
badon_ has joined #ocaml
badon_ is now known as badon
contempt has quit [Ping timeout: 276 seconds]
contempt has joined #ocaml
kakadu has joined #ocaml
balzu has joined #ocaml
<balzu> Hi to all!!! :)
<balzu> Excuse me guys.. I am new to Ocaml, and I have a silly (but not to me!) question.. If I type print_string "string" in an OCaml interactive session I see the result in console.. but let's suppose I have compiled this file, in which appears the expression print_string "string" , and I want to run this compiled file and see the output in terminal.. How can be done??
<balzu> Thanks in advance for your help!!
<lyxia> balzu: you can compile with ocamlc myfile.ml and run the executable ./a.out
pyon has joined #ocaml
larhat1 has quit [Quit: Leaving.]
<balzu> Thanks lyxia!!! :)
_andre has joined #ocaml
Nahra``` has joined #ocaml
Nahra``` has quit [Changing host]
kushal has quit [Quit: Leaving]
kushal has joined #ocaml
balzu has quit [Ping timeout: 252 seconds]
jacquev6 has joined #ocaml
jacquev6 has left #ocaml [#ocaml]
zpe has joined #ocaml
manizzle has quit [Ping timeout: 240 seconds]
blub` is now known as blub
infinity0 has quit [Remote host closed the connection]
JacobEdelman has joined #ocaml
infinity0 has joined #ocaml
Mirry has joined #ocaml
Haudegen has quit [Ping timeout: 250 seconds]
Bhaskar1 has joined #ocaml
Haudegen has joined #ocaml
<alsm> I have a list of arrays, getting stuck how to return a list of the nth element of each array, any suggestions?
sfri has quit [Remote host closed the connection]
<blub> map
<companion_cube> fun l n -> List.map (fun a -> a.[n]) l
sfri has joined #ocaml
<kakadu> Folks, If I want some regression test (int the compiler) for the toplevel how should I do it?
<kakadu> The problem is that I need to load some cmos and I become dependant on the working directory
Bhaskar1 has quit [Quit: Leaving.]
<Drup> kakadu: there are already tests like that in the testsuite
<Drup> lot's of tests use the toplevel
<Drup> but yes, it seems to be the right directory for what you want
Bhaskar1 has joined #ocaml
choosetwo has joined #ocaml
<kakadu> grep can't find string #load in the testsuite/ directory tree
ggole has joined #ocaml
<Drup> that's not very important though
jgjl has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
Bhaskar1 has quit [Quit: Leaving.]
Bhaskar1 has joined #ocaml
Haudegen has quit [Ping timeout: 245 seconds]
Haudegen has joined #ocaml
mort___ has joined #ocaml
Haudegen has quit [Ping timeout: 246 seconds]
<alsm> companion_cube: thanks
tane has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Anarchos has joined #ocaml
struk|desk|away is now known as struk|desk2
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<Anarchos> Who does use compcert ?
Bhaskar1 has quit [Quit: Leaving.]
<companion_cube> it's probably written on its webpage?
<Anarchos> companion_cube: i tried to port it to sparc, but i don't know how to modify the MAchRegs.v file in order to take into account all the registers available in register windows.
<companion_cube> maybe you should send a mail to the developpers
<Anarchos> cause i went into an injective case which took 256*256 cases .... coqtop ran into a very long computation :)
OnkV has joined #ocaml
<madroach> Is there a standard way of using unsigned int32?
Guest14 has joined #ocaml
<companion_cube> madroach: there is a library called uint on opam
sz0` is now known as sz0
Bhaskar1 has joined #ocaml
Bhaskar1 has quit [Client Quit]
jeffmo has joined #ocaml
<Anarchos> companion_cube: strange that there is no channel dedicated to compcert
<companion_cube> well it's certainly not on #ocaml that you should search
<companion_cube> besides, compcert is a research project, it doesn't have (afaik) a large community
exm has left #ocaml [#ocaml]
<Anarchos> companion_cube: sure but #coq is not very talkative
<companion_cube> well
<companion_cube> maybe they don't know either?
<companion_cube> there is no relationship between compcert and #ocaml
<Anarchos> companion_cube: i thought the compiler was ocaml code extracted from coq spec ?
<companion_cube> that's like asking about why3 here
<companion_cube> anyway, just ask the maintainers
Guest14 has quit [Quit: Textual IRC Client: www.textualapp.com]
<rks`> Anarchos: well, you should compile the extracted ocaml with js_of_ocaml and go on #javascript
<rks`> they might be more talkative there
jgjl has joined #ocaml
struk|desk2 is now known as struk|desk|away
sz0 has quit [Quit: Bye.]
sz0 has joined #ocaml
zpe has quit [Remote host closed the connection]
psy_ has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
Denommus has joined #ocaml
jgjl has joined #ocaml
shinnya has joined #ocaml
lobo has joined #ocaml
ely-se has quit [Quit: leaving]
Mercuria1Alchemi has joined #ocaml
mort___ has quit [Ping timeout: 240 seconds]
Stalkr_ has joined #ocaml
alsm has quit [Ping timeout: 245 seconds]
d0nn1e has quit [Ping timeout: 260 seconds]
sgnb` has joined #ocaml
sgnb has quit [Remote host closed the connection]
sgnb` has quit [Remote host closed the connection]
d0nn1e has joined #ocaml
sgnb has joined #ocaml
Mirry has quit [Ping timeout: 256 seconds]
govg has quit [Ping timeout: 250 seconds]
govg has joined #ocaml
pierpa has joined #ocaml
mort___ has joined #ocaml
jgjl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
contempt has quit [Disconnected by services]
contempt has joined #ocaml
t4nk425 has joined #ocaml
<t4nk425> hello can someone help me to find these 3 function in ocaml about lexicographic trees ?
<t4nk425> print different word from a string input
<zozozo> t4nk425: what's a lexicographic tree ?
pyon has quit [Quit: Loops are hard, let's GOTO shopping!]
<t4nk425> A tree that nodes contains word
<zozozo> any condition on subtrees ? (i.e the words in the left subtree should be smaller thant the word at the root ?)
<t4nk425> My english is bad :/
<t4nk425> Do you speack French ??
<zozozo> t4nk425: sure, go to #ocaml-fr
ggole has quit []
Mirry has joined #ocaml
mort___ has quit [Quit: Leaving.]
larhat1 has joined #ocaml
Mirry has quit [Ping timeout: 240 seconds]
choosetw1 has joined #ocaml
choosetwo has quit [Ping timeout: 240 seconds]
OnkV has quit [Ping timeout: 250 seconds]
ygrek has joined #ocaml
_andre has quit [Quit: leaving]
Haudegen has joined #ocaml
darkf has quit [Quit: Leaving]
please_help has quit [Ping timeout: 240 seconds]
cody` has joined #ocaml
Haudegen has quit [Ping timeout: 255 seconds]
tane has quit [Ping timeout: 240 seconds]
please_help has joined #ocaml
gal_bolle has joined #ocaml
ely-se has joined #ocaml
<gal_bolle> hi all and happy new year. Is Omake still supposed to be alive? It seems impossible to download from its homepage
<gal_bolle> and the links to the mailing list archives there are dead
Haudegen has joined #ocaml
<groovy2shoes> I certainly *wish* Omake were still alive
tane has joined #ocaml
<gal_bolle> now i've found its newer home: http://projects.camlcity.org/projects/omake.html
<groovy2shoes> oh cool
pyon has joined #ocaml
zpe has joined #ocaml
mort___ has joined #ocaml
lokien_ has joined #ocaml
zpe_ has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
BitPuffin|osx has joined #ocaml
lokien_ is now known as StevensMother
choosetw1 has quit [Ping timeout: 260 seconds]
StevensMother is now known as lokien_
lokien_ is now known as artosis
artosis is now known as lokien_
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe_ has joined #ocaml
lobo has quit [Quit: leaving]
zpe has quit [Read error: Connection reset by peer]
zpe has joined #ocaml
zpe_ has quit [Ping timeout: 272 seconds]
Mercuria1Alchemi has quit [Ping timeout: 264 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
Mirry has joined #ocaml
stomp has quit [Ping timeout: 260 seconds]
stomp has joined #ocaml
zpe has quit [Ping timeout: 265 seconds]
blub` has joined #ocaml
zpe has joined #ocaml
blub has quit [Disconnected by services]
blub` is now known as blub
Kristien has joined #ocaml
JacobEdelman_ has joined #ocaml
lostman_ has joined #ocaml
lostman has quit [Ping timeout: 240 seconds]
ely-se has quit [Read error: Connection reset by peer]
tane has quit [Excess Flood]
lostman_ is now known as lostman
JacobEdelman has quit [Ping timeout: 240 seconds]
JacobEdelman_ is now known as JacobEdelman
tane has joined #ocaml
d0nn1e has quit [Ping timeout: 240 seconds]
clockish has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
tane has quit [Client Quit]
clockish has joined #ocaml
Kristien has quit [Quit: Leaving...]
ely-se has joined #ocaml
teknozulu has joined #ocaml
jacquev6 has joined #ocaml
mac10688 has joined #ocaml
ely-se has quit [Quit: Leaving...]
zpe has quit [Remote host closed the connection]
osa1 has joined #ocaml
<osa1> what arguments do I pass to ocamlopt.opt if I want all the optimizations and everything? it doesn't seem to recognize -O
<companion_cube> there are no different levels of optimization
<osa1> so I just run it and it does its best?
<companion_cube> well, yeah, it doesn't optimize much
<companion_cube> (this should change a bit with 4.03 though)
<osa1> does ocaml have an optimizing compiler?
<companion_cube> it optimizes a bit (some inlining and unboxing) but not as much as C compilers
lobo has joined #ocaml
<osa1> sorry, I asked the wrong question. let me rephrase: how do I compile my program if I want the best optimizations that the compiler in std distribution can do?
<companion_cube> with ocamlopt :)
<companion_cube> there is no magic recipe
<osa1> got it. thanks.
<companion_cube> also, your code might be more or less compiler friendly
<companion_cube> (might allocate a lot or not, etc.)
<Leonidas> xmlm seems quite nice :)
baum has quit [Quit: over and out]
<Leonidas> but the jsoo translated code seems to throw an exception
chris2 has quit [Ping timeout: 245 seconds]
<Leonidas> b=c}}catch(f){f=r(f);if(f===n[1])return h(a,a2);if(f===q)return h(a,B);if(f===Z)return h(a,N);throw f}return b}function ^
<Leonidas> 0,248,Xmlm.Make(String)(Buffer).Error,6,0,1,1,-95440847
groovy2shoes has quit [Quit: Leaving]
<gasche> Anarchos: the quadratic blowup of two-arguments matching is a known Coq issue
choosetw1 has joined #ocaml
<gasche> a classic fix is to define a "hashing" function from your constructors to integer, and check the equality of the two hashes
yomimono has joined #ocaml
<gasche> I would guess that this is already used in the Compcert codebase, you just need to find where and reuse the approach
osa1 has left #ocaml ["Konversation terminated!"]
chris2 has joined #ocaml
choosetw1 has quit [Client Quit]
groovy2shoes has joined #ocaml
groovy2shoes has quit [Client Quit]
ely-se has joined #ocaml
Denommus has quit [Quit: going home]
groovy2shoes has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
sz0 has quit [Quit: Bye.]
infinity0 has quit [Ping timeout: 256 seconds]
pyx has joined #ocaml
ril has joined #ocaml
infinity0 has joined #ocaml
pyx has quit [Client Quit]
sz0 has joined #ocaml
mort___ has left #ocaml [#ocaml]
t4nk425 has quit [Ping timeout: 252 seconds]
t4nk020 has joined #ocaml
yomimono has quit [Quit: Leaving]
ely-se has quit [Quit: Leaving...]
gal_bolle has quit [Ping timeout: 260 seconds]
<Drup> Leonidas: you have code that is correct in ocaml and incorect in js_of_ocaml ?
<Leonidas> Drup: seems so.
<Leonidas> Drup: But it might be because I use Pervasives.stdin, not sure if this gets compiled to the proper thing
<Drup> stdin doesn't really make sense in js, but It would yell at you if he was missing primitives
<Leonidas> Drup: Yes, exactly why I am a bit surprised for not complaining during compilation.
<Drup> what's the program and how are you compiling it ?
<Leonidas> I'll look into this tomorrow to see whether I can get a minimal example out of it.
<Drup> ok
kakadu has quit [Remote host closed the connection]
jacquev6 has quit [Quit: jacquev6]