gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
Elench has joined #ocaml
rgrig has quit [Quit: Leaving]
orbitz has quit [Ping timeout: 272 seconds]
bitripper has joined #ocaml
<bitripper> hello
<bitripper> I'm a newbie to ocaml. I am trying to find out how to check the type of a constant
<bitripper> For example in REBOL language, I can do the following:
<bitripper> a: "string"
<bitripper> type? a
<bitripper> >> string!
<bitripper> how to do something like that in ocaml?
bitripper has quit []
orbitz has joined #ocaml
lamawithonel has joined #ocaml
Edward has quit []
gnuvince has joined #ocaml
emmanuelux has joined #ocaml
<schme> oh he left
schme is now known as schmrkc
__marius__ has joined #ocaml
Elench has left #ocaml []
caligula has joined #ocaml
zubeen has joined #ocaml
schme has joined #ocaml
schmrkc has quit [Read error: No route to host]
ViciousPlant has joined #ocaml
lamawithonel has quit [Remote host closed the connection]
schme is now known as schmrkc
RLa has joined #ocaml
<RLa> how to print an integer?
<thelema> print_int x
<thelema> http://caml.inria.fr/pub/docs/manual-ocaml/libref/Pervasives.html (see "Output functions on standard output")
<RLa> thanks
valross has joined #ocaml
valross has quit [Read error: Connection reset by peer]
valross has joined #ocaml
valross has quit [Ping timeout: 245 seconds]
<RLa> match args with | [Lval (Var v, _) <- is it possible to get whole Lval ... thing into one variable (as with @ in haskell)?
<thelema> match foo with [LVal (Var v, _) as lv; ...] -> f lv
<RLa> thanks
<thelema> it's unusual to match lists with [...], as the size of the list is restricted
<RLa> hm, yes
<RLa> i need a list with exactly two items
<thelema> as long as you know what you're doing, no problem
shachaf has quit [Read error: No route to host]
shachaf has joined #ocaml
Snark has joined #ocaml
ikaros has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 240 seconds]
explodus has quit [Remote host closed the connection]
ftrvxmtrx has quit [Quit: Leaving]
ftrvxmtrx has joined #ocaml
schmrkc has quit [Read error: Operation timed out]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
ygrek has joined #ocaml
thomasga1 is now known as thomasga
ygrek has quit [Ping timeout: 245 seconds]
avsm has joined #ocaml
ttamttam has joined #ocaml
rgrig has joined #ocaml
th5 has joined #ocaml
oriba has joined #ocaml
RLa has quit [Quit: Leaving]
rgrig has quit [Ping timeout: 255 seconds]
pencilk has joined #ocaml
pencilk has quit [Ping timeout: 260 seconds]
_andre has joined #ocaml
Amorphous has quit [Ping timeout: 264 seconds]
schmrkc has quit [Read error: No route to host]
schme has joined #ocaml
schme is now known as schmrkc
oriba has quit [Quit: Verlassend]
Amorphous has joined #ocaml
schmrkc has quit [Quit: leaving]
boscop has quit [Ping timeout: 245 seconds]
willb has joined #ocaml
yezariaely has joined #ocaml
bzzbzz has joined #ocaml
yezariaely has left #ocaml []
ftrvxmtrx has quit [Read error: Connection reset by peer]
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
rixed has joined #ocaml
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ftrvxmtrx has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
mehdid has quit [Ping timeout: 276 seconds]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
lamawithonel has joined #ocaml
schme has quit [Read error: Connection reset by peer]
schme has joined #ocaml
schme has quit [Changing host]
schme has joined #ocaml
rwmjones has quit [Ping timeout: 245 seconds]
ftrvxmtrx has joined #ocaml
mehdid has joined #ocaml
rwmjones has joined #ocaml
robthebob has joined #ocaml
ccasin has joined #ocaml
joewilliams_away is now known as joewilliams
rixed has quit [Read error: Operation timed out]
<palomer> so much gui talk on the mailing list
<palomer> I'm more interested in a sane function for getting keyboard input
<thelema> non-blocking get_character at the shell?
<palomer> blocking is fine
<palomer> I just want it to return something portable
<palomer> (and to be able to distinguish control enter from enter!)
zubeen has quit [Read error: Connection reset by peer]
<thelema> you ask the impossible
emmanuelux has quit [Remote host closed the connection]
<thelema> I'm not aware of any portable standard that can differentiate those two
<palomer> the SDL input functions can differentiate those two
<thelema> portably? I'd expect many terminals to not distinguish
<palomer> well...SDL doesn't go through a terminal
<palomer> hrpmh, maybe I should ditch the terminal then
<thelema> yup
<palomer> know of any alternatives?
emmanuelux has joined #ocaml
<hcarty> thelema: Do you mind if I pinch the HTML
<hcarty> + CSS from the Batteries main page on the forge?
<thelema> hcarty: not at all.
<hcarty> thelema: Thank you
<thelema> although to be fair I wasn't the one who wrote it originally, I just hacked it into its current state
<thelema> I don't know who did - you'd have to dig through the list archives to find out
<hcarty> thelema: Ok, thank you
arturh has quit [Read error: Connection reset by peer]
<hcarty> Gtk-light has now been properly moved to the forge - http://gtk-light.forge.ocamlcore.org/
<hcarty> adrien: I can't spend a lot of time on this right now, but if you'd like to collaborate a bit on mixing in your tiling code, I think that could work very well with the minimal pieces I currently have.
jonafan_ is now known as jonafan
Oejet has joined #ocaml
joewilliams is now known as joewilliams_away
hto_ has quit [Quit: Lost terminal]
hto has joined #ocaml
rixed__ has joined #ocaml
joewilliams_away is now known as joewilliams
th5 has quit [Ping timeout: 245 seconds]
emmanuelux has quit [Remote host closed the connection]
ikaros has joined #ocaml
schme is now known as schmrkc
Modius has joined #ocaml
schmrkc has quit [Ping timeout: 260 seconds]
schmrkc has joined #ocaml
schmrkc has quit [Changing host]
schmrkc has joined #ocaml
init1 has joined #ocaml
asmanur has quit [Ping timeout: 255 seconds]
asmanur has joined #ocaml
boscop has joined #ocaml
ulfdoz has joined #ocaml
ikaros_ has joined #ocaml
ikaros has quit [Ping timeout: 272 seconds]
ttamttam has quit [Remote host closed the connection]
ikaros_ is now known as ikaros
datenwolf has joined #ocaml
avsm has quit [Quit: Leaving.]
ftrvxmtrx has quit [Quit: Leaving]
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
ulfdoz_ is now known as ulfdoz
<palomer> hrmph
lpereira has joined #ocaml
_andre has quit [Quit: leaving]
ftrvxmtrx has joined #ocaml
Oejet has quit [Ping timeout: 264 seconds]
Snark has quit [Quit: Ex-Chat]
mfp has quit [Ping timeout: 245 seconds]
Oejet has joined #ocaml
mfp has joined #ocaml
init1 has quit [Quit: Quitte]
rixed__ has quit [Ping timeout: 265 seconds]
boscop has quit [Ping timeout: 245 seconds]
boscop has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
jcaose has joined #ocaml
boscop has quit [Quit: OutOfTimeException: Allocation of TimeFrame failed due to lack of time. Terminating...]
jcaose has quit [Client Quit]
ccasin has quit [Quit: Leaving]
boscop has joined #ocaml
boscop_ has joined #ocaml
boscop has quit [Ping timeout: 245 seconds]
boscop_ is now known as boscop
coucou747 has quit [Ping timeout: 255 seconds]
lpereira has quit [Quit: Leaving.]
coucou747 has joined #ocaml
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
emmanuelux has joined #ocaml
Oejet has quit [Ping timeout: 276 seconds]
Oejet has joined #ocaml
Oejet has quit [Ping timeout: 255 seconds]
ikaros has quit [Ping timeout: 276 seconds]
boscop has quit [Quit: OutOfTimeException: Allocation of TimeFrame failed due to lack of time. Terminating...]