<metasyntax>
I'll probably kick myself as soon as I figure it out, but I'm having a type checking problem: http://codepad.org/9ItUhR4d I can't see why it's expecting t to be an int list list.
Associat0r has quit [Quit: Associat0r]
<metasyntax>
Oh shoot, brackets around the pattern; the Erlang has crept into my head and confused me.
* metasyntax
kicks self
<krankkatze>
I don't see where brackets are needed here
<metasyntax>
Yeah, they're not. I was thinking that the pattern [h::t] matched a list with head h and tail t, probably because I was confusing it with Erlang's [h|t] pattern (which does match that).
<metasyntax>
But you don't use brackets in Caml like you do in Erlang, which was my mistake.
<krankkatze>
so did you find the answer?
<metasyntax>
Yeah, I got it figured out. Thanks.
ulfdoz has quit [Ping timeout: 265 seconds]
ulfdoz has joined #ocaml
<krankkatze>
metasyntax: what was the problem?
<metasyntax>
I was merely mis-thinking that I had to use [h::t], when I really had to use h::t. I was thinking I had to put brackets around it, which in my situation I didn't.
<metasyntax>
In Erlang when you want to do this, you *always* use brackets, and I thought Caml was the same, but I was mistaken.
<metasyntax>
Apparently "match (n, n) with ..." is also forbidden, which is a shame. :-(
<metasyntax>
Er, I mean "match foo with (n, n) -> ..."
<metasyntax>
krankkatze: I am familiar with too many programming languages, it's hard to keep from accidentally conflating them sometimes. :-)
<krankkatze>
sure
<krankkatze>
but I'm fairly new to ocaml and I don't understand what's the solution here :D
<metasyntax>
krankkatze: Ah, OK, I gotcha.
<krankkatze>
oh
<krankkatze>
ok
<krankkatze>
I got it now
<krankkatze>
thanks :
<krankkatze>
:D
<metasyntax>
Alright. That's just as well since I'm at a slight loss as how to explain the meaning of [h::t] in words. :-D
drk-sd has quit [Quit: dodo]
<metasyntax>
Hm, when I load up some bytecode with a module into ocamldebug, I can't break on any of the functions. For example I've got module Euler023 defined in Euler023.ml, which is compiled with ocamlc into Euler023.
<metasyntax>
But when I run "ocamldebug ./Euler023" and try to "break Euler023.expressible" for example, it tells me unbound identifier. But that function is there, it's even in the signature of the module.
joewilliams_away is now known as joewilliams
<elehack>
metasyntax: did you build with debug info (-g)? and is the .ml file in the current directory or an include directory specified with -I to ocmaldebug?
<metasyntax>
elehack: Yeah, used "ocamlc -g" and the .ml file is in the same directory.
<elehack>
hrm, that is odd then.
<elehack>
did you use -g for both the compile and link steps?
<metasyntax>
I didn't do them separately.
<elehack>
hmm.
<metasyntax>
I just do "ocamlc -o Euler023 -g Euler023.ml"
* elehack
has no ideas then
<elehack>
can you break at a line?
<elehack>
break @ Euler023 <lineno>
<metasyntax>
Yeah, that works.
ccasin has quit [Quit: Leaving]
elehack has quit [Quit: not a typewriter]
caligula__ has joined #ocaml
caligula_ has quit [Ping timeout: 240 seconds]
alexyk has quit [Quit: alexyk]
waterChip has joined #ocaml
waterChip has quit [Client Quit]
aja has joined #ocaml
joewilliams is now known as joewilliams_away
dark has joined #ocaml
mattam has quit [Ping timeout: 276 seconds]
verte has joined #ocaml
Amorphous has quit [Ping timeout: 248 seconds]
Amorphous has joined #ocaml
oriba has joined #ocaml
oriba has quit [Client Quit]
aja has quit [Read error: Connection reset by peer]
marius has joined #ocaml
marius is now known as Guest74778
dark has quit [Ping timeout: 246 seconds]
Guest74778 has quit [Remote host closed the connection]
|marius| has joined #ocaml
|marius| has quit [Remote host closed the connection]
Associat0r has joined #ocaml
oriba has joined #ocaml
drk-sd has joined #ocaml
ygrek has joined #ocaml
Tianon has quit [Ping timeout: 276 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
coucou747 has joined #ocaml
ttamttam has joined #ocaml
ttamttam has quit [Remote host closed the connection]
ikaros has joined #ocaml
Tianon has quit [Ping timeout: 240 seconds]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
Tianon has quit [Ping timeout: 240 seconds]
ftrvxmtrx has quit [Quit: Leaving]
Tianon has joined #ocaml
Tianon has quit [Changing host]
Tianon has joined #ocaml
ikaros has quit [Quit: Leave the magic to Houdini]
sepp2k has joined #ocaml
sdschulz` has joined #ocaml
sdschulze has quit [Ping timeout: 260 seconds]
seafood has quit [Quit: seafood]
seafood has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
derdon has joined #ocaml
rwmjones has quit [Ping timeout: 245 seconds]
joewilliams_away is now known as joewilliams
robthebob has joined #ocaml
rwmjones has joined #ocaml
oriba has quit [Quit: Verlassend]
ygrek has joined #ocaml
ccasin has joined #ocaml
rwmjones has quit [Read error: Connection timed out]
waterChip has joined #ocaml
Yoric has joined #ocaml
waterChip has quit [Ping timeout: 246 seconds]
waterChip has joined #ocaml
rwmjones has joined #ocaml
waterChip has quit [Ping timeout: 246 seconds]
ccasin has quit [Quit: Leaving]
verte has quit [Quit: ~~~ Crash in JIT!]
patronus has quit [Remote host closed the connection]
patronus has joined #ocaml
waterChip has joined #ocaml
waterChip_ has joined #ocaml
waterChip has quit [Ping timeout: 245 seconds]
waterChip has joined #ocaml
waterChip_ has quit [Ping timeout: 264 seconds]
seafood has quit [Quit: seafood]
waterChip has quit [Ping timeout: 265 seconds]
waterChip has joined #ocaml
waterChip has quit [Ping timeout: 258 seconds]
itewsh has joined #ocaml
derdon has quit [Ping timeout: 276 seconds]
alexyk has joined #ocaml
alexyk has quit [Quit: alexyk]
alexyk has joined #ocaml
alexyk has quit [Client Quit]
philed has joined #ocaml
alexyk has joined #ocaml
<thelema>
metasyntax: [h::t] matches a list with one element, that element being a list with head h and tail t
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
_unK has joined #ocaml
avsm has joined #ocaml
Yoric has quit [Quit: Yoric]
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 260 seconds]
mattam has joined #ocaml
diml has quit [Ping timeout: 240 seconds]
joewilliams is now known as joewilliams_away
joewilliams_away is now known as joewilliams
derdon has joined #ocaml
itewsh has quit [Quit: o/]
sepp2k1 has joined #ocaml
sepp2k has quit [Ping timeout: 246 seconds]
derdon has quit [Quit: WeeChat 0.3.0]
ftrvxmtrx has joined #ocaml
diml has joined #ocaml
dark has joined #ocaml
ccasin has joined #ocaml
alexyk has quit [Quit: alexyk]
philed has quit [Remote host closed the connection]
alexyk has joined #ocaml
alexyk has quit [Client Quit]
joewilliams is now known as joewilliams_away
Yoric has joined #ocaml
sdschulz` has left #ocaml []
Edward_ has joined #ocaml
Edward_ has quit []
Edward_ has joined #ocaml
despa has quit [Ping timeout: 265 seconds]
Edward_ has quit [Ping timeout: 264 seconds]
itewsh has joined #ocaml
_unK has quit [Ping timeout: 260 seconds]
drunK has joined #ocaml
drunK has quit [Remote host closed the connection]
Edward_ has joined #ocaml
ftrvxmtrx has quit [Read error: Connection reset by peer]
ulfdoz has quit [Ping timeout: 265 seconds]
ftrvxmtrx has joined #ocaml
despa has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
avsm has quit [Quit: Leaving.]
ttamttam has joined #ocaml
coucou747 has quit [Remote host closed the connection]
ulfdoz has joined #ocaml
valross has joined #ocaml
ttamttam has quit [Quit: Leaving.]
robthebob has quit [Remote host closed the connection]
itewsh has quit [Quit: o/]
seafood has joined #ocaml
seafood has quit [Client Quit]
seafood has joined #ocaml
drk-sd has quit [Quit: dodo.]
Edward_ has quit []
Associat0r has quit [Read error: Connection reset by peer]
Associat0r has joined #ocaml
<krankkatze>
hey, I've built and installed Postgresql-OCaml and am trying to use it with ocamlbuild ; I tried "ocamlbuild -lib postgresql test.native" without success (test.ml being an "open Posgresql" file)