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>
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
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