<tar_>
That's the smallest I could make my grammar and still exhibit the conflict.
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
ppsmimou has quit [Read error: 110 (Connection timed out)]
gim has quit [Read error: 110 (Connection timed out)]
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
ched_ has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
ched_ has quit ["Ex-Chat"]
ched_ has joined #ocaml
ched has quit [Read error: 110 (Connection timed out)]
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
jonasb has quit [Remote closed the connection]
Palace_Chan has quit ["Palace goes to sleep"]
pierre_m has joined #ocaml
Associat0r has quit []
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
ched_ has quit ["Ex-Chat"]
|jedai| has quit [Success]
|jedai| has joined #ocaml
hoggarth has joined #ocaml
Stefan_vK has quit [Read error: 104 (Connection reset by peer)]
hoggarth has left #ocaml []
Stefan_vK has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
sporkmonger has quit []
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
|jedai| has quit [Operation timed out]
|jedai| has joined #ocaml
ppsmimou has joined #ocaml
gim has joined #ocaml
Associat0r has joined #ocaml
_jedai_ has joined #ocaml
|jedai| has quit [Connection timed out]
<flux>
sorry, not all that familiar with yacc, but perhaps you can try out menhir, which claims to have more understandable error messages
<flux>
iirc it produced examples in that kind of situations
<flux>
(menhir is a dron-in-replacement for ocamlyacc with certain nice extensions)
gim has quit [Read error: 110 (Connection timed out)]
<tar_>
hm, hadn't heard of menhir
<tar_>
"understandable by mere humans" nice
ppsmimou has quit [Read error: 110 (Connection timed out)]
aliquando has joined #ocaml
<tar_>
well, helpful enough that now I'm sure I know what the problem is.. doesn't teach me how to write a better grammar though :D
Associat0r has quit []
<tar_>
My %precs are "never useful"
aliquando has quit ["Ex-Chat"]
_jedai_ has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
sanguinev has quit [Remote closed the connection]
mal`` has quit [Remote closed the connection]
mal`` has joined #ocaml
sanguinev has joined #ocaml
gim has joined #ocaml
ppsmimou has joined #ocaml
pierre- has joined #ocaml
ygrek has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
ppsmimou has quit [Read error: 110 (Connection timed out)]
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
marmotine has joined #ocaml
tar_ has quit []
_zack has joined #ocaml
patronus has quit ["leaving"]
patronus has joined #ocaml
seafood has quit []
itewsh has joined #ocaml
vovkaii has quit ["Leaving"]
blue_prawn has joined #ocaml
ched has joined #ocaml
Palace_Chan has joined #ocaml
_zack has quit [Read error: 110 (Connection timed out)]
jonafan_ has joined #ocaml
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
fschwidom has joined #ocaml
jonafan has quit [Read error: 60 (Operation timed out)]
ppsmimou has joined #ocaml
gim has joined #ocaml
Stefan_vK1 has joined #ocaml
Stefan_vK has quit [Read error: 60 (Operation timed out)]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
zerny has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
Palace_Chan has quit ["Palace goes to sleep"]
itewsh has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
jonafan has joined #ocaml
|jedai| has quit [Connection timed out]
Waleee has joined #ocaml
|jedai| has joined #ocaml
jonafan_ has quit [Read error: 110 (Connection timed out)]
itewsh has quit [Remote closed the connection]
vixey has joined #ocaml
|jedai| has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
gaja has joined #ocaml
jeremiah has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
_jedai_ has joined #ocaml
realtime has joined #ocaml
realtime is now known as Guest30296
Guest30296 is now known as realtime
hsuh has joined #ocaml
_jedai_ has quit [Read error: 110 (Connection timed out)]
|jedai| has joined #ocaml
hsuh has quit [Remote closed the connection]
hsuh has joined #ocaml
Snark has joined #ocaml
gim has quit [Read error: 60 (Operation timed out)]
ppsmimou has quit [Read error: 60 (Operation timed out)]
gim has joined #ocaml
ppsmimou has joined #ocaml
bluestorm has joined #ocaml
gim has quit [Connection timed out]
ppsmimou has quit [Connection timed out]
|jedai| has quit [Success]
|jedai| has joined #ocaml
hsuh has quit [Read error: 110 (Connection timed out)]
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
<bluestorm>
thelema: have you eventually decided something on the Infix question ?
<bluestorm>
i just pushed the /@ / @/ compilation fix
olegfink has quit ["sure that was an x11 bug"]
pango has quit [Remote closed the connection]
olegfink has joined #ocaml
<thelema>
blue_prawn: great.
<thelema>
grr...
<thelema>
bluestorm: ^^
<thelema>
I haven't done the infix fix. I think it
<thelema>
'll probably suffice to move those functions into extPervasives.Infix
itewsh has joined #ocaml
<bluestorm>
thelema: so extPervasives.Infix instead of Enum.Infix ?
<thelema>
well, since there's only infix for Enum, extPervasives.Infix == Enum.Infix
<thelema>
hmm, why is there extPervasives? I don't see any reason to segregate extlib's contribution to pervasives from the rest...
<bluestorm>
we may have some non-Enum infix operators in the future
<thelema>
we already do: :>
<thelema>
err, |>
<bluestorm>
|> was replaced by **> iirc
<thelema>
hmm, it doesn't look like DT fixed **>
<bluestorm>
ah
<flux>
..you guys have the strangest smileys..
<thelema>
<**, **>, |-, -|, ***, &&&
<bluestorm>
iirc there was a strong opposition to |- -|, maybe we could choose another operator
<bluestorm>
what's the F# choice again ?
<thelema>
we're using |- f g x = g(f x)
<thelema>
blue_prawn: f# uses |> (and I think <|)
<bluestorm>
for composition ?
<bluestorm>
we could use that too
<bluestorm>
it was used for application but we have **> now
<bluestorm>
hm
pango has joined #ocaml
<blue_prawn>
thelema: ?
<thelema>
I thought I had a nice discussion with DT about reverting the **> change
<thelema>
I guess he might have thought to do it after we merge pa-do
<bluestorm>
blue_prawn: that was just an autocompletion mistake
<bluestorm>
sorry
<blue_prawn>
ha yes I see
<bluestorm>
thelema: actually
<bluestorm>
i have the intuition that **> associativity is still wrong
<thelema>
blue_prawn: you're welcome to join the conversation. We're trying to decide how operators should work
<bluestorm>
it works if you write eg. print_newline **> print_string **> "Hello World !";;
<thelema>
bluestorm: I don't think we should avoid defining operators any more than we should avoid defining other symbols with nice names.
<blue_prawn>
which kind of operators ?
<bluestorm>
blue_prawn: those are composition/application operators
<bluestorm>
thelema: except operators are useless unless they're opened in the global namespace
<blue_prawn>
somthing like in C++ cout << "hello" << 45 << endl N
<bluestorm>
possibly
<bluestorm>
it's more like $ in Haskell if you know about it
<blue_prawn>
i have planed to learn haskell, but only looked at a quick tutorial yet
<thelema>
oh yeah, we're confining the operators so users can open just them without importing all the symbols. Now I'm back on track.
<blue_prawn>
I have seen some examples on rosettacode where haskell composites a lot of things with $
<blue_prawn>
but it ends by looking very Perlish
<bluestorm>
wich one do you expect to "be in the right direction" : "Hello world" ?> print_string ?> print_newline or "Hello World" <? print_string <? print_newline ?
<thelema>
extPervasives shouldn't have Infix, but other modules wanting infix symbols should. (to allow partial importing of symbols)
<bluestorm>
the right-application should be left-associative
<thelema>
bluestorm: yes, and vice versa
jonasb has joined #ocaml
<thelema>
data |> map |> filter |> unzip |> etc.
<blue_prawn>
things in ocaml are not always purely from the theory, (in order to be more instinctive)
<thelema>
or unzip <| filter <| map <| data
<bluestorm>
hm
<blue_prawn>
I prefer the first one, it is like in bash
<bluestorm>
and i guess you'll get mad if i suggest using ^< , @< or **< :-'
<blue_prawn>
cat data | bunzib2 | lzma --best | data.lzma
<bluestorm>
@< looks like a fish
gim has joined #ocaml
ppsmimou has joined #ocaml
<blue_prawn>
in occidental language, we are used to read from left to right
<bluestorm>
blue_prawn: both directions have their advantages
<bluestorm>
and i think there is a consensus on allowing both anyway
<bluestorm>
the question is : wich operators ?
<blue_prawn>
bluestorm: yes r2l have the advantages for arabics, jews, etc...
<bluestorm>
bof <| and |> can be read left to right
<bluestorm>
-f+th
<blue_prawn>
l2r would be best with |>
<blue_prawn>
like an arrow
jeremiah has quit [Read error: 104 (Connection reset by peer)]
<thelema>
for me, the point of |> is to reverse the order of my "sentence", while the use of <| seems to be to avoid ()
<thelema>
some instructions (to the computer) are [subject verb verb verb], while others are [command object object]
<thelema>
for example, the list |> filter |> map example is the first category
<thelema>
while [print 42 "bottles of beer on the wall" endl] is the second
<thelema>
OO tends to be the first style [list.filter(isOdd).map(*2+1)]
<thelema>
functional tends to be the second (which is why lisp often has so many parens)
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
jeremiah has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
_jedai_ has joined #ocaml
|jedai| has quit [Read error: 110 (Connection timed out)]
_jedai_ has quit [Read error: 60 (Operation timed out)]
|jedai| has joined #ocaml
pierre- has quit [Read error: 110 (Connection timed out)]
gim has quit [Connection timed out]
ppsmimou has quit [Read error: 110 (Connection timed out)]
pierre- has joined #ocaml
Stefan_vK has joined #ocaml
Stefan_vK1 has quit [Read error: 110 (Connection timed out)]
nuncanada has joined #ocaml
fschwidom has quit [Remote closed the connection]
jeddhaberstro has joined #ocaml
tripwyre has joined #ocaml
Yoric[DT] has joined #ocaml
itewsh has joined #ocaml
itewsh has quit [SendQ exceeded]
itewsh has joined #ocaml
Associat0r has joined #ocaml
ppsmimou has joined #ocaml
gim has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
pierre_m has left #ocaml []
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
Associat0r has quit [Success]
tar_ has joined #ocaml
mreh has joined #ocaml
mreh has left #ocaml []
_jedai_ has joined #ocaml
Snark has quit ["Ex-Chat"]
|jedai| has quit [Read error: 110 (Connection timed out)]
thelema has quit [Read error: 104 (Connection reset by peer)]
hsuh has joined #ocaml
gim has quit [Read error: 110 (Connection timed out)]
ppsmimou has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
<zerny>
Hi. I am a bit confused wrt. cmxa archives and signatures. I have made a simple archive with ocamlopt -a and then tried to link it with another file to a binary. This gives me an error that the module does not exist. Adding a -I to the location of the cmi files corrects this, but should it not be possible to simple link to the archive (.cmxa) file only?
blue_prawn has quit [Read error: 104 (Connection reset by peer)]
<flux>
zerny, you need to have the .cmi-files around
<zerny>
I hoped that I could some how get around that :(
yziquel has joined #ocaml
<zerny>
the problem I have is that CMake does not tell me where they are, only where the final archive is placed :(
yziquel has quit [Remote closed the connection]
_jedai_ has quit [Success]
|jedai| has joined #ocaml
tripwyre has quit []
yziquel has joined #ocaml
yziquel has quit [Client Quit]
ygrek has joined #ocaml
pierre- has quit [Read error: 110 (Connection timed out)]
<zerny>
flux: Thanks for your help. It looks like I'll need some hack to deal with cmake.
jonasb has quit [Read error: 104 (Connection reset by peer)]
jonasb has joined #ocaml
zerny has left #ocaml []
jonasb_ has joined #ocaml
yziquel has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
jonasb has quit [Read error: 110 (Connection timed out)]
itewsh has joined #ocaml
thelema has joined #ocaml
yziquel has quit [Read error: 110 (Connection timed out)]
yziquel has joined #ocaml
<Yoric[DT]>
Has anyone around here used Camomile's CharEncoding?
|jedai| has quit [Read error: 110 (Connection timed out)]
* Yoric[DT]
doesn't understand why his output stream is empty.
|jedai| has joined #ocaml
<thelema>
Yoric[DT]: what are you doing?
<Yoric[DT]>
Transcoding.
<thelema>
code?
<Yoric[DT]>
I must be missing something, because I can't get any data from my transcoded inputs/data written to my transcoded outputs seems useless.
<Yoric[DT]>
Well, anyway, I'll probably stop for the night.
<thelema>
can you checkin your branch, and I'll take a look at it?
<Yoric[DT]>
Ok, I'll do that, thanks.
* Yoric[DT]
wonders if it could be a problem with the IOClasses of Extlib.
<Yoric[DT]>
The example is in examples/conv.ml .
<Yoric[DT]>
The source for CharEncodings is in extlib/charEncodings.ml[i].
yziquel has quit [Read error: 110 (Connection timed out)]
<thelema>
I'll look there
<Yoric[DT]>
Thanks.
<thelema>
I've got some fixes for extnetdate - it never made it into libs.mlpack
<thelema>
or at least that change didn't get committed. ([git diff] often)
<thelema>
n/m, your commit is pushed now.
slash_ has joined #ocaml
yziquel has joined #ocaml
jonasb_ is now known as jonasb
jlouis has joined #ocaml
fschwidom has joined #ocaml
|jedai| has quit [Connection timed out]
marmotine has quit ["mv marmotine Laurie"]
|jedai| has joined #ocaml
Waleee has quit []
_zack has joined #ocaml
<thelema>
pa_comprehension not installing properly...
yziquel has quit [Read error: 110 (Connection timed out)]
yziquel has joined #ocaml
<Yoric[DT]>
thelema: you need to re ./configure
Jedai has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has quit ["aunt jemima is the devil!"]
Jedai has joined #ocaml
<Yoric[DT]>
Well, goodnight.
Yoric[DT] has quit ["Ex-Chat"]
bluestorm has quit ["Lost terminal"]
yziquel has quit [Read error: 110 (Connection timed out)]
yziquel has joined #ocaml
|jedai| has quit [Connection timed out]
|jedai| has joined #ocaml
yziquel has quit [Read error: 110 (Connection timed out)]
ppsmimou has joined #ocaml
gim has joined #ocaml
ygrek has quit [Remote closed the connection]
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
fschwidom has quit [Remote closed the connection]
AxleLonghorn has joined #ocaml
slash_ has quit ["leaving"]
tar_ has quit []
_zack has quit ["Leaving."]
ched has quit [Remote closed the connection]
jonasb has quit [Remote closed the connection]
Amorphous has quit [Read error: 110 (Connection timed out)]