<tac-tics>
Line 28. You can see I tried resolving it with ";;" at the end of the line, but it didn't help
<tac-tics>
It is a case of one match statement nested inside another, and I don't know how to properly delimit them
wtetzner has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
bourg_ has joined #ocaml
wtetzner has quit [Remote host closed the connection]
<bourg_>
hey tic-tacs you still here?
<tac-tics>
kinda. I think we solved it with parens around the statement
<tac-tics>
Is there a better way?
<bourg_>
yeah there's actually one better way
<bourg_>
You can just post it on piazza - Sincerely, the TAs
<tac-tics>
lol
<bourg_>
Don't post your projects on Pastebin kids
<tac-tics>
Thanks, but I was asking for OCaml help
<bourg_>
I'm aware, but I'm giving you "not going to the honor council for posting projects online" help
<bourg_>
- Austin Bourgerie
<tac-tics>
I don't need your lecturing. Thanks
tac-tics has left #ocaml ["Leaving"]
tac-tics has joined #ocaml
pilne has quit [Quit: Quitting!]
<tac-tics>
bourg_: I apologize for my rudeness earlier. Do you have a moment? If so, I sent you a PM.
bourg_ has left #ocaml [#ocaml]
shinnya has joined #ocaml
mcspud has quit [Ping timeout: 246 seconds]
blackfry_ghost has quit [Ping timeout: 246 seconds]
blackfry has joined #ocaml
<spew>
oh man that was too funny
tac-tics has left #ocaml ["Leaving"]
spew has quit [Quit: foobar]
blackfry has quit [Ping timeout: 246 seconds]
blackfry has joined #ocaml
blackfry has joined #ocaml
blackfry has quit [Changing host]
mcspud has joined #ocaml
tac-tics has joined #ocaml
mengu has joined #ocaml
mengu has quit [Ping timeout: 240 seconds]
tac-tics has quit [Quit: Leaving]
FreeBirdLjj has joined #ocaml
infinity0 has joined #ocaml
tac-tics has joined #ocaml
_whitelogger has joined #ocaml
Simn has joined #ocaml
argent_smith has joined #ocaml
MercurialAlchemi has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
fraggle_ has joined #ocaml
AlexDenisov has joined #ocaml
_whitelogger has joined #ocaml
jnavila has joined #ocaml
tac-tics has quit [Quit: Leaving]
d0nn1e has quit [Ping timeout: 240 seconds]
d0nn1e has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
minn has quit [Ping timeout: 260 seconds]
xmonader has joined #ocaml
ygrek has joined #ocaml
FreeBirdLjj has joined #ocaml
slash^ has joined #ocaml
TarVanim_ has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
blackfry has quit [Ping timeout: 246 seconds]
mcspud has quit [Ping timeout: 246 seconds]
ygrek_ has quit [Ping timeout: 264 seconds]
blackfry has joined #ocaml
TarVanim_ has quit [Quit: TarVanim_]
rand__ has joined #ocaml
mcspud has joined #ocaml
p_nathan has quit [Ping timeout: 256 seconds]
silver has joined #ocaml
<infinity0>
at the mirageos hackathon someone, i think talex5, mentioned that ocaml had a PR to add iterators/lazylists to the stdlib, anyone got a link to that?
<zozozo>
it would be nice if it makes it at all, ^^
<infinity0>
looks like it's blocked on #1010 atm
octachron has joined #ocaml
mfp has joined #ocaml
shinnya has joined #ocaml
orbifx has quit [Ping timeout: 240 seconds]
TarVanim_ has joined #ocaml
g0d355__ has joined #ocaml
larhat has joined #ocaml
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
sunnny has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
octachron has quit [Ping timeout: 260 seconds]
octachron has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
xmonader has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
zpe has joined #ocaml
jnavila has joined #ocaml
laserpants has joined #ocaml
TarVanim_ has quit [Quit: TarVanim_]
zpe has quit [Remote host closed the connection]
tane has quit [Quit: Leaving]
average has quit [Quit: leaving]
average has joined #ocaml
mrnugget has joined #ocaml
<hannes>
haesbaert: around?
larhat has quit [Quit: Leaving.]
mrnugget has quit [Ping timeout: 256 seconds]
larhat has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
rand__ has quit [Quit: leaving]
TheLemonMan has joined #ocaml
sunnny has left #ocaml ["Ухожу я от вас (xchat 2.4.5 или старше)"]
tane has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
pilne has joined #ocaml
spew has joined #ocaml
agarwal1975 has joined #ocaml
blackfry has quit [Ping timeout: 258 seconds]
blackfry has joined #ocaml
fold4 has quit [Ping timeout: 264 seconds]
shinnya has quit [Ping timeout: 240 seconds]
shinnya has joined #ocaml
spew has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
<TheLemonMan>
hm, why does "let f (x : 'a) (y : 'b) : 'a = y" gets typed as 'a -> 'a -> 'a ?
<infinity0>
because you have ": 'a" and you have "= y"
<infinity0>
so the only way to make that work is to set 'a = 'b
spew has joined #ocaml
<TheLemonMan>
oh I see. I'm trying to grasp the polymorphic type annotations and stumbled across this snippet
spew has quit [Quit: foobar]
cross has quit [Remote host closed the connection]
spew has joined #ocaml
tobast has quit [Quit: WeeChat 1.0.1]
tobast has joined #ocaml
spew has quit [Quit: foobar]
Simn has joined #ocaml
wtetzner has joined #ocaml
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
adnotamentum has joined #ocaml
larhat has quit [Quit: Leaving.]
nicoo has quit [Remote host closed the connection]
laserpants has quit [Quit: Page closed]
spew has joined #ocaml
nicoo has joined #ocaml
spew has quit [Quit: foobar]
spew has joined #ocaml
yomimono has joined #ocaml
yomimono has quit [Ping timeout: 240 seconds]
TarVanim_ has joined #ocaml
fold4 has joined #ocaml
larhat has joined #ocaml
marsam has joined #ocaml
sh0t has joined #ocaml
<haesbaert>
hannes: around now
govg has quit [Ping timeout: 260 seconds]
<adnotamentum>
Hey. I have created a datatype of a language (OCamlyacc/Ocamlyexx) which contains the list read on input, its basically a string that looks like "a,a,a,a" how do I do string manipulation on this data type?
govg has joined #ocaml
<octachron>
adnotamentum, if you are parsing some language, why are you producing raw string data rather than an AST or other structured data?
<mengu>
but fails when i call it like reverse (aux Nil list)
<mengu>
tane: should i have an mli file for that?
<tane>
depends
<mengu>
so compiler does not infer different types?
<mengu>
the error message i get is:
<mengu>
This expression has type 'a linked_list/117231
<mengu>
but an expression was expected of type 'b linked_list/117174
<tane>
mengu, hard to tell what the error is, the code you provided doesn't exhibit that
<octachron>
mengu, this is a toplevel error, isn't it?
<mengu>
octachron: yes
<mengu>
tane: sorry, let me fix that
<octachron>
mengu, this just happens because you have defined your type t multiple times in the the same toplevel session
jnavila has joined #ocaml
<mengu>
octachron: i'll be damned
<mengu>
indeed that was the problem
<mengu>
does the order of the functions in a file matter?
<tane>
mengu, yes
<mengu>
or is it like haskell? you can define a function below and call it in a function at the top?
<mengu>
alright
<mengu>
thank you very much tane
<mengu>
your help made me finish this implementation
<tane>
keep up the good work, ocaml's worth it :]
<mengu>
i've been a self taught web developer for a long time and now i want to do functional programming, think functional and also know my data structures well
<tane>
and argument order isn't consistent, e.g. sometimes the list is the first parameter, sometimes the last, maybe there's some logic to that :)
<tane>
a lot of functions in the stdlib List module take the list as the last parameter, makes it easy to pipe lists through some chain of calls using |>
maxus_ has joined #ocaml
maxus has quit [Read error: Connection reset by peer]
maxus_ has quit [Remote host closed the connection]
spew has joined #ocaml
frefity has quit [Quit: Ex-Chat]
<mengu>
tane: yeah, i was bothered with the argument order