csakatoku has quit [Remote host closed the connection]
nikki93 has joined #ocaml
simn__ has quit [Quit: Leaving]
ontologiae_ has quit [Ping timeout: 264 seconds]
csakatoku has joined #ocaml
manud_ has joined #ocaml
michael_lee has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
mcclurmc has joined #ocaml
manud_ has quit [Ping timeout: 260 seconds]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 246 seconds]
michael_lee has quit [Remote host closed the connection]
strobegen has joined #ocaml
shinnya has quit [Ping timeout: 264 seconds]
michael_lee has joined #ocaml
ygrek has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
michael_lee has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
pango has quit [Ping timeout: 246 seconds]
thelema has joined #ocaml
pango has joined #ocaml
Arzaga has joined #ocaml
manud_ has joined #ocaml
kizzx2 has joined #ocaml
ggole has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
darkf has quit [Read error: Connection reset by peer]
darkf has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
jbrown has quit [Ping timeout: 272 seconds]
osa1_ has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
jbrown has joined #ocaml
Neros has quit [Ping timeout: 248 seconds]
osa1_ has quit [Quit: Konversation terminated!]
csakatoku has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
thelema has quit [Ping timeout: 246 seconds]
justdit has joined #ocaml
justdit has left #ocaml []
thelema has joined #ocaml
yacks has quit [Quit: Leaving]
manud_ has quit [Ping timeout: 240 seconds]
csakatok_ has joined #ocaml
csakatoku has quit [Ping timeout: 245 seconds]
kizzx2 has quit [Ping timeout: 246 seconds]
kizzx2 has joined #ocaml
kizzx21 has joined #ocaml
kizzx2 has quit [Ping timeout: 264 seconds]
ygrek has quit [Ping timeout: 272 seconds]
talzeus has joined #ocaml
wormphlegm has quit [Ping timeout: 246 seconds]
wormphlegm has joined #ocaml
Fnar has quit [Quit: Client exiting]
zpe has joined #ocaml
csakatok_ has quit [Remote host closed the connection]
csakatoku has joined #ocaml
wormphlegm has quit [Ping timeout: 264 seconds]
wormphlegm has joined #ocaml
csakatoku has quit [Ping timeout: 265 seconds]
wormphlegm has quit [Ping timeout: 272 seconds]
csakatoku has joined #ocaml
zpe has quit [Ping timeout: 252 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
<whitequark>
why the hell does opam export PERL5LIB?!
mcclurmc has quit [Ping timeout: 240 seconds]
wormphlegm has joined #ocaml
ygrek has joined #ocaml
_5kg has quit [Read error: Connection reset by peer]
rand000 has joined #ocaml
wormphlegm has quit [Ping timeout: 252 seconds]
zpe has joined #ocaml
ttamttam has joined #ocaml
zpe has quit [Ping timeout: 248 seconds]
wolfnn has joined #ocaml
manud_ has joined #ocaml
thelema has quit [Remote host closed the connection]
gour has joined #ocaml
thelema has joined #ocaml
_5kg has joined #ocaml
_5kg has quit [Client Quit]
_5kg has joined #ocaml
zpe has joined #ocaml
Arsenik has joined #ocaml
wormphlegm has joined #ocaml
<adrien>
morning
wormphlegm has quit [Ping timeout: 272 seconds]
zpe has quit [Ping timeout: 246 seconds]
csakatoku has quit [Ping timeout: 240 seconds]
thomasga has joined #ocaml
csakatoku has joined #ocaml
kyrylo has joined #ocaml
AltGr has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Read error: Operation timed out]
cago has joined #ocaml
mika1 has joined #ocaml
zpe has joined #ocaml
Yoric has joined #ocaml
thomasga has quit [Quit: Leaving.]
thomasga has joined #ocaml
zpe has quit [Ping timeout: 272 seconds]
thelema has quit [Remote host closed the connection]
rand000 has quit [Ping timeout: 240 seconds]
thelema has joined #ocaml
ontologiae_ has joined #ocaml
ontologiae_ has quit [Ping timeout: 264 seconds]
wolfnn has quit [Ping timeout: 246 seconds]
wormphlegm has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema_ has joined #ocaml
wormphlegm has quit [Ping timeout: 264 seconds]
Kakadu has joined #ocaml
rand000 has joined #ocaml
Simn has joined #ocaml
zpe has joined #ocaml
djcoin has joined #ocaml
dr_df0 has joined #ocaml
robink has quit [Quit: No Ping reply in 180 seconds.]
robink has joined #ocaml
acieroid` has joined #ocaml
tlockney_ has joined #ocaml
kyrylo has quit [Ping timeout: 252 seconds]
zpe has quit [Ping timeout: 260 seconds]
_5kg has quit [*.net *.split]
michael_lee has quit [*.net *.split]
mfp has quit [*.net *.split]
thizanne has quit [*.net *.split]
tlockney has quit [*.net *.split]
rks` has quit [*.net *.split]
zarul has quit [*.net *.split]
brendan has quit [*.net *.split]
acieroid has quit [*.net *.split]
tlockney_ is now known as tlockney
rks` has joined #ocaml
brendan has joined #ocaml
zarul has joined #ocaml
thizanne has joined #ocaml
michael_lee has joined #ocaml
mfp has joined #ocaml
_5kg has joined #ocaml
q66 has quit [Quit: Leaving]
syntropy has joined #ocaml
thelema_ has quit [Ping timeout: 272 seconds]
zbroyar has joined #ocaml
q66 has joined #ocaml
thelema has joined #ocaml
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
_andre has joined #ocaml
zpe has joined #ocaml
jonludlam has joined #ocaml
csakatoku has quit [Remote host closed the connection]
csakatoku has joined #ocaml
csakatoku has quit [Ping timeout: 260 seconds]
wormphlegm has joined #ocaml
csakatoku has joined #ocaml
Yoric has quit [Ping timeout: 246 seconds]
zpe has quit [Ping timeout: 252 seconds]
cago1 has joined #ocaml
cago has quit [Write error: Connection reset by peer]
thelema has quit [Remote host closed the connection]
wormphlegm has quit [Ping timeout: 246 seconds]
zpe has joined #ocaml
thelema has joined #ocaml
BitPuffin has joined #ocaml
ontologiae_ has joined #ocaml
csakatoku has quit []
q66 has quit [Quit: Leaving]
kizzx21 has quit [Quit: Leaving.]
q66 has joined #ocaml
zbroyar has left #ocaml []
thelema has quit [Remote host closed the connection]
thelema has joined #ocaml
zpe has quit [Read error: No route to host]
q66 has quit [Quit: Leaving]
thelema has quit [Remote host closed the connection]
<dch>
whitequark: +1 that caused me a fair bit of trouble a fortnight ago too. perlbrew doesnt like that.
zpe has joined #ocaml
szacun has joined #ocaml
thelema has joined #ocaml
mcclurmc has joined #ocaml
<szacun>
Hi! I have a problem. I have a following piece of code: type 'a test = 'a list * 'a list;; let x = ([], []);; How can i tell that lists inside x contain elements of same type, and x should be of type test?
<whitequark>
let x : 'a test = ([], [])
mort___ has joined #ocaml
<szacun>
thanks
<mrvn>
although that gives you an '_a, not 'a
<mrvn>
you probably need: let make () = (([], []) : 'a test);;
mcclurmc has quit [Ping timeout: 272 seconds]
<ggole>
Hmm? Where does the '_a come from?
wolfnn has joined #ocaml
<mrvn>
ggole: the x isn't polymorphic but it doesn't have a concrete type yet
<jpdeplaix>
mrvn: I'm not sure :/
<jpdeplaix>
# let x = ([], []);;
<jpdeplaix>
val x : 'a list * 'b list = ([], [])
<jpdeplaix>
it's polymorphic
avsm has joined #ocaml
<mrvn>
jpdeplaix: that's not an 'a test :)
<whitequark>
utop # let x : 'a test = ([], []);;
<whitequark>
val x : 'a test = ([], [])
<mrvn>
[] is somewhat magic in being 'a+ list I think.
Rc43 has joined #ocaml
<Rc43>
Hi, guys.
<whitequark>
[] and tuples are immutable, hence not subject to value restriction, I believe
<mrvn>
whitequark: right. the compiler infers that correctly it seems.
manud_ has quit [Read error: Operation timed out]
<Rc43>
I don't know ocaml, but know haskell and need to fix one ocaml source file (have no time to learn ocaml from the begin).
<ggole>
This is just plain old let-polymorphism
<Rc43>
Is there ad-hoc polymorphism in ocaml or something?
<Rc43>
I encountered source where one function is applied to different number of arguments.
<whitequark>
the value restriction paper explains this, I think...
<ggole>
There's nothing magic about []
<ggole>
Any constructor will work
<Rc43>
Or maybe polyvariadic functions like in haskell?
<mrvn>
Rc43: then one of the earlier arguments is a function and the remaing type depend on the type of that function.
<mrvn>
Rc43: e.g. 'Printf.printf "%d" 1' and 'Printf.printf "%d %d" 1 2' where the format string determines the type of the remaining args.
<jpdeplaix>
mrvn: lists are defined as covariants
<Rc43>
mrvn, understood, not sure, but looks like haskell polyvariadic functions (using type class instances for function types); how it is called in ocaml?
<mrvn>
Rc43: ocaml doesn't have an exakt equivalent to haskell type classes
<mrvn>
jpdeplaix: yeah, we noticed above already
<mrvn>
Rc43: why don't you show the code and error?
<Rc43>
mrvn, there is no error; just examining Coq source; will link it to you now
<mrvn>
if there is no error then what is there to fix?
<mrvn>
It's hard to talk about a problem in the abstract
<Rc43>
mrvn, I am applying patch for scala extraction and on some version it is broken; I want to apply commits and resolve merges manually
<mrvn>
You need to put phantom types into module and keep the type abstract for it to work
<jpdeplaix>
your type in not abstract
<whitequark>
oh.
<mrvn>
s/and/or/
<whitequark>
thanks, it works
thomasga has joined #ocaml
thelema has joined #ocaml
gdk has quit [Ping timeout: 260 seconds]
rand000 has joined #ocaml
wormphlegm has joined #ocaml
Arzaga has quit [Quit: Computer has gone to sleep.]
avsm1 has joined #ocaml
avsm has quit [Ping timeout: 265 seconds]
ollehar has quit [Ping timeout: 265 seconds]
Rc43 has left #ocaml []
thomasga has quit [Quit: Leaving.]
Xenasis has joined #ocaml
<Drup>
thomasga: I have stucked my opam by adding a pin path with a space in it, by mistake. No it's stuck with "[ERROR] too many pinning options" whatever I try to do. How do I unstuck it ? :D
<Drup>
Now*
<avsm1>
quotes?
ontologiae_ has quit [Ping timeout: 260 seconds]
<Drup>
I did something like "opam pin package "stuff/with space" "
ontologiae_ has joined #ocaml
<jpdeplaix>
Drup: I guess, a simple way would be to find the file responsible for pinned packages and modify it by hands
<Drup>
I tried
<Drup>
a good old grep "package" didn't return anything
<Drup>
(anything interesting at least"
<Drup>
It's stored somewhere, but I don't know where exactly
thomasga has joined #ocaml
ontologiae_ has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
zpe has quit [Remote host closed the connection]
nikki93 has quit [Ping timeout: 264 seconds]
arj has quit [Quit: Leaving.]
ontologiae_ has joined #ocaml
amirmc has joined #ocaml
ontologiae_ has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
Arzaga has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
amirmc has quit [Quit: Leaving.]
amirmc has joined #ocaml
mcclurmc has joined #ocaml
w0rm_x has joined #ocaml
w0rm_x has quit [Remote host closed the connection]
w0rm_x has joined #ocaml
w0rm_x has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
thomasga has joined #ocaml
zpe has joined #ocaml
cago1 has left #ocaml []
djcoin has quit [Quit: WeeChat 0.4.1]
nikki93 has joined #ocaml
thomasga has quit [Client Quit]
mika1 has quit [Quit: Leaving.]
q66_ has joined #ocaml
q66 has quit [Disconnected by services]
q66_ is now known as q66
mfp has quit [Read error: Operation timed out]
nikki93 has quit [Ping timeout: 272 seconds]
Yoric has quit [Ping timeout: 265 seconds]
amirmc has quit [Quit: Leaving.]
gdk has joined #ocaml
amirmc has joined #ocaml
shinnya has joined #ocaml
rossberg has quit [Remote host closed the connection]
Rc43 has joined #ocaml
Simn has quit [Ping timeout: 252 seconds]
<Rc43>
What's the difference between '=' and '==' in expressions?
Eyyub has quit [Ping timeout: 246 seconds]
<mrvn>
comparing contents and addresses
Eyyub has joined #ocaml
thomasga has joined #ocaml
<ggole>
Use of == is suspicious unless you really want to know whether you are looking at the same mutable thing
<Rc43>
mrvn, '=' compares contents? Is it called 'generic equality'?
mfp has joined #ocaml
<mrvn>
it's called equal
thomasga has quit [Client Quit]
<Rc43>
ggole, just looking at commit, where all '=' are replaced with '=='
<ggole>
All? Or just all that are applied for a particular type?
<mrvn>
# "foo" == "foo";;
<mrvn>
- : bool = false
<mrvn>
have fun
zpe has quit [Remote host closed the connection]
Arzaga has quit [Quit: Computer has gone to sleep.]
<adrien_oww>
Rc43: where? it sounds like a completely stupid change
amirmc has quit [Quit: Leaving.]
ontologiae_ has joined #ocaml
<Rc43>
adrien_oww, at Coq: tinyurl.com/nwvffjd
<Rc43>
about 80 new occurencies of '=='
<companion_cube>
== is very useful if you do hashconsing
<adrien_oww>
for chars and ints, == is the same as =
<adrien_oww>
apart from that, the people writing coq know their ocaml fairly well
<adrien_oww>
at least well enough for ==
<ggole>
Looks like a performance oriented patch to me
<adrien_oww>
it seems their use of '==' is equivalent to '=' (at least for the cases I've looked at)
<ggole>
x < y changed to (x : int) < y
<adrien_oww>
I'm not sure I understand why they've had to do that
<adrien_oww>
(I'm not sure it changes performance)
<adrien_oww>
and the commit message doesn't mention the gains
<ggole>
It does in some cases, at least with 4.01
<mrvn>
(<) : 'a -> 'a -> bool is way slower than (<) : int -> int -> bool
<mrvn>
the former is a C function call
<adrien_oww>
yes
<adrien_oww>
but ocaml still uses the generic comparison with one operand of type char?
<ggole>
char is specialised afaik
<ggole>
Maybe the patch is overzealous
<ggole>
Taking a look, let test1 (a:char) b = a < b and let test2 (a:int) b = a < b both give cmpl/setl/movzbl
<adrien_oww>
what about
<adrien_oww>
let test3 a = a = 'x'
<adrien_oww>
?
<ggole>
cmpl/sete/movzbl again (but with a constant operand)
Neros has quit [Read error: Operation timed out]
<ggole>
Same for nullary constructors
<adrien_oww>
thanks
<mrvn>
should work for any non-pointer type
BitPuffin has quit [Quit: WeeChat 0.4.2]
mcclurmc has joined #ocaml
oriba has joined #ocaml
amirmc has joined #ocaml
gdk has quit [Ping timeout: 272 seconds]
Eyyub has quit [Ping timeout: 245 seconds]
Anarchos has joined #ocaml
nikki93 has joined #ocaml
amirmc has quit [Ping timeout: 245 seconds]
nikki93 has quit [Ping timeout: 252 seconds]
yacks has quit [Quit: Leaving]
Yoric has joined #ocaml
mchqwerty has quit [Remote host closed the connection]
Kakadu has quit []
ygrek has quit [Ping timeout: 260 seconds]
gdk has joined #ocaml
Arsenik has quit [Remote host closed the connection]
Neros has joined #ocaml
avsm1 has quit [Quit: Leaving.]
avsm has joined #ocaml
gdk has quit [Quit: Leaving]
<gasche>
17:21 < adrien_oww> I'm not sure I understand why they've had to do that
<gasche>
one possibility would be that Coq developers have decided to eradicate polymorphic equality
<gasche>
(for performance concerns *and* for correctness concerns, because it's hard to keep track of where you may store closures)
<gasche>
so they might have a runtime instrumented with warnings when polymorphic equality is used, and they tune their code to remove any such warning
<gasche>
(or at least they may code as if they had, or plan to later have, such a check available)
<gasche>
hm
<gasche>
no need to change the runtime, just use let (=) = () in your project prelude
amirmc has joined #ocaml
shinnya has quit [Ping timeout: 272 seconds]
<gasche>
I have frequent discussions with PMP, the author of this kind of patches, and he's been optimizing the hell out of low-level OCaml details these last few months
<gasche>
there have been important feature changes in Coq recently, and his ugly tricks have helped break even on the performance front
amirmc has quit [Client Quit]
avsm has quit [Ping timeout: 252 seconds]
vpm has quit [Quit: co'o]
<Anarchos>
gasche speaking about coq, do you know if modifications of the HoTT group will be merge soon in the trunk ?
ollehar has joined #ocaml
vpm has joined #ocaml
<mrvn>
gasche: then 1 = 1 stops working
<rks`>
mrvn: that's the point
<rks`>
you use Int.(=) 1 1 :)
<mrvn>
1 = 1 is not the polymorphic equality
<gasche>
yes, but if it is (x = y), and the type of x and y may change when you refactor your code...
<gasche>
going anyway
<mrvn>
let (=) : int -> int -> int = fun x y -> x = y would be better
zpe has joined #ocaml
ollehar has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 264 seconds]
<mcclurmc>
i just ran opam update/opam upgrade, and got "opam upgrade failed / cud2opam(dose-dummy-request,1)"
<mcclurmc>
any ideas why?
mort___ has joined #ocaml
oriba has quit [Quit: oriba]
jonludlam has quit [Remote host closed the connection]
thelema has quit [Ping timeout: 252 seconds]
thelema has joined #ocaml
AltGr has left #ocaml []
BitPuffin has joined #ocaml
Neros_ has joined #ocaml
syntropy has quit [Quit: Page closed]
nikki93 has joined #ocaml
Neros has quit [Ping timeout: 245 seconds]
nikki93 has quit [Ping timeout: 264 seconds]
nikki93 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Kakadu has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
Kakadu has quit [Client Quit]
demonimin has quit [Ping timeout: 264 seconds]
demonimin has joined #ocaml
adrien has quit [Quit: tu vas reset, oui !]
adrien has joined #ocaml
michael_lee has quit [Remote host closed the connection]
hyperboreean has quit [Ping timeout: 272 seconds]
mcclurmc has joined #ocaml
mort___ has quit [Quit: Leaving.]
tobiasBora has quit [Ping timeout: 246 seconds]
osa1 has joined #ocaml
WraithM has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
zhbfvuvabar87r has joined #ocaml
zhbfvuvabar87r has quit [Excess Flood]
adrien has quit [Quit: risettte !]
mcclurmc has quit [Ping timeout: 245 seconds]
adrien has joined #ocaml
WraithM has quit [Ping timeout: 246 seconds]
ontologiae_ has quit [Ping timeout: 246 seconds]
WraithM has joined #ocaml
_arj has quit [Quit: changing servers]
arj has joined #ocaml
mort___ has joined #ocaml
thizanne has quit [Ping timeout: 246 seconds]
arj has quit [Client Quit]
thizanne has joined #ocaml
arj has joined #ocaml
tobiasBora has joined #ocaml
ollehar has joined #ocaml
_andre has quit [Quit: leaving]
arj has quit [Client Quit]
arj has joined #ocaml
thizanne has quit [Ping timeout: 260 seconds]
dsheets has quit [Ping timeout: 252 seconds]
arj has quit [Client Quit]
arj has joined #ocaml
thizanne has joined #ocaml
arj has quit [Client Quit]
arj has joined #ocaml
ggole has quit []
arj has quit [Client Quit]
arj has joined #ocaml
arj has quit [Client Quit]
arj has joined #ocaml
arj has quit [Client Quit]
arj has joined #ocaml
arj has quit [Client Quit]
arj has joined #ocaml
arj has quit [Client Quit]
arj has joined #ocaml
Neros_ has quit [Ping timeout: 246 seconds]
arj has quit [Client Quit]
arj has joined #ocaml
mostlyfledby is now known as KoRnshell
arj has quit [Client Quit]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
arj has joined #ocaml
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
kyrylo has joined #ocaml
tane has joined #ocaml
jpeeters has joined #ocaml
<jpeeters>
Hi every one, can someone help me with camlp4 (> 3.10) ?