jonludlam has quit [Quit: Coyote finally caught me]
Algebr has quit [Remote host closed the connection]
Algebr has joined #ocaml
madroach has joined #ocaml
antkong has quit [Quit: antkong]
bjorkintosh has quit [Ping timeout: 250 seconds]
NoNNaN has quit [Remote host closed the connection]
bjorkintosh has joined #ocaml
jabesed has quit [Ping timeout: 245 seconds]
yminsky has joined #ocaml
lordkryss has joined #ocaml
Algebr has quit [Remote host closed the connection]
yminsky has quit [Quit: yminsky]
cdidd has quit [Remote host closed the connection]
cdidd has joined #ocaml
bytbox has quit [Remote host closed the connection]
yminsky has joined #ocaml
struktured has quit [Remote host closed the connection]
struktured has joined #ocaml
bobfang has joined #ocaml
<bobfang>
Hi
<bobfang>
Can somebody enlighten me why this function is rejected by the type checker?
<bobfang>
let rejected f = (f 1, f "hi");;
<rom1504>
bobfang: because f can't take int and string
<bobfang>
But f can be polymorphic right?
WraithM has joined #ocaml
<rom1504>
hmm
<def`>
f is not generalized at that point
<def`>
within rejected, f is monomorphic.
<bobfang>
So why Ocaml choose to do that?
<def`>
because otherwise inference would be undecidable
<def`>
this require higher-rank polymorphism
<rom1504>
interesting
<def`>
(well, for rank-2 it is decidable)
<def`>
you can encode it manually with object
<def`>
(or records)
<def`>
let rejected (f: <f: 'a. 'a -> 'a>) = (f#f 1, f#f "hi")
shinnya has quit [Ping timeout: 245 seconds]
<def`>
(and the verbosity of this encoding is just a matter of the implementation)
<def`>
(if it was possible to write quantifier directly in arrows, one could write
<def`>
let rejected (f : 'a . 'a -> 'a) = (f 1, f "hi")
<def`>
it is just not implemented
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
skinkitten has quit [Quit: Leaving]
huza has joined #ocaml
struk|plane has joined #ocaml
struktured has quit [Ping timeout: 240 seconds]
MrScout__ has joined #ocaml
MrScout_ has quit [Read error: Connection reset by peer]
huza has quit [Quit: WeeChat 0.3.8]
yminsky has quit [Quit: yminsky]
antkong has joined #ocaml
WraithM has quit [Ping timeout: 255 seconds]
travisbrady has joined #ocaml
tnguyen1 has quit [Remote host closed the connection]
tnguyen has joined #ocaml
destrius has joined #ocaml
tnguyen has quit [Remote host closed the connection]
reem has joined #ocaml
tnguyen has joined #ocaml
darkf has joined #ocaml
yminsky has joined #ocaml
struk|plane has quit [Remote host closed the connection]
struk|plane has joined #ocaml
MrScout__ has quit [Ping timeout: 245 seconds]
huza has joined #ocaml
bobfang has quit [Remote host closed the connection]
badkins has joined #ocaml
ygrek has joined #ocaml
badon has quit [Quit: Leaving]
q66 has quit [Quit: Leaving]
Denommus has joined #ocaml
Denommus has quit [Changing host]
Denommus has joined #ocaml
jbalint has quit [Ping timeout: 250 seconds]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
antkong has quit [Quit: antkong]
kapil__ has joined #ocaml
Nijikokun has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
badon has joined #ocaml
travisbrady has quit [Quit: travisbrady]
antkong has joined #ocaml
travisbrady has joined #ocaml
yminsky has quit [Quit: yminsky]
swgillespie has joined #ocaml
_um has joined #ocaml
jao has quit [Ping timeout: 245 seconds]
lordkryss has quit [Quit: Connection closed for inactivity]
struk|plane has quit [Ping timeout: 264 seconds]
travisbrady has quit [Quit: travisbrady]
hilquias has joined #ocaml
NoNNaN has joined #ocaml
mal`` has quit [Ping timeout: 252 seconds]
ivan\ has quit [Ping timeout: 240 seconds]
enitiz has quit [Ping timeout: 250 seconds]
bytbox has joined #ocaml
bytbox has quit [Remote host closed the connection]
rgrinberg1 has joined #ocaml
iorivur has joined #ocaml
ivan\ has joined #ocaml
mal`` has joined #ocaml
rgrinberg has quit [Ping timeout: 264 seconds]
bitemyapp has joined #ocaml
manizzle has quit [Ping timeout: 245 seconds]
jbalint has joined #ocaml
mal`` has quit [Ping timeout: 245 seconds]
Denommus has quit [Quit: Bye]
Denommus has joined #ocaml
Denommus has joined #ocaml
marynate has joined #ocaml
badkins has quit []
enitiz has joined #ocaml
hilquias has quit [Remote host closed the connection]
hilquias has joined #ocaml
BitPuffin has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
mal`` has joined #ocaml
contempt has quit [Ping timeout: 244 seconds]
enitiz has quit [Ping timeout: 250 seconds]
mal`` has quit [Ping timeout: 252 seconds]
reem has joined #ocaml
contempt has joined #ocaml
antkong has quit [Quit: antkong]
reem has quit [Remote host closed the connection]
ygrek has quit [Ping timeout: 264 seconds]
reem has joined #ocaml
rgrinberg1 has quit [Quit: Leaving.]
iorivur has quit [Ping timeout: 255 seconds]
reem has quit [Remote host closed the connection]
reem has joined #ocaml
rgrinberg has joined #ocaml
reem has quit [Remote host closed the connection]
manizzle has joined #ocaml
huza has quit [Quit: WeeChat 0.3.8]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
marynate has quit [Quit: Leaving]
_um has quit [Quit: Leaving...]
ygrek has joined #ocaml
MercurialAlchemi has joined #ocaml
shinnya has joined #ocaml
_twx_ has quit [Ping timeout: 264 seconds]
reem has quit [Remote host closed the connection]
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rgrinberg has quit [Quit: Leaving.]
antkong has joined #ocaml
reem has joined #ocaml
antkong has quit [Quit: antkong]
reem has quit [Remote host closed the connection]
antkong has joined #ocaml
iorivur has joined #ocaml
reem has joined #ocaml
iorivur has quit [Ping timeout: 252 seconds]
antkong has quit [Ping timeout: 246 seconds]
reem has quit [Ping timeout: 264 seconds]
iorivur has joined #ocaml
psy_ has quit [Remote host closed the connection]
iorivur has quit [Ping timeout: 246 seconds]
reem has joined #ocaml
ollehar has joined #ocaml
<def`>
MercurialAlchemi: any specific merlin bug in mind?
nullcat_ has joined #ocaml
<nullcat_>
I am trying this tutorial. http://amirchaudhry.com/from-jekyll-to-unikernel-in-fifty-lines/ But when i want to set up tap device by doing "sudo ifconfig tap0 10.0.0.1 255.255.255.0". I am warned with "ifconfig: interface tap0 does not exist". I installed tuntap on my OS X and I can see tap devices in my /dev
<nullcat_>
anyone can offer some help?
manizzle has quit [Ping timeout: 244 seconds]
reem has quit [Remote host closed the connection]
keen__________54 has joined #ocaml
keen__________53 has quit [Ping timeout: 255 seconds]
reem has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
dsheets__ has joined #ocaml
dsheets_ has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
ghostpl has joined #ocaml
robink has quit [Ping timeout: 245 seconds]
psy_ has joined #ocaml
psy_ has quit [Max SendQ exceeded]
psy_ has joined #ocaml
reem has quit [Remote host closed the connection]
ggole has joined #ocaml
ddosia has joined #ocaml
reem has joined #ocaml
mengu has joined #ocaml
mengu has joined #ocaml
antkong has joined #ocaml
reem has quit [Remote host closed the connection]
Kakadu has joined #ocaml
nullcat__ has joined #ocaml
nullcat_ has quit [Ping timeout: 245 seconds]
antkong has quit [Ping timeout: 240 seconds]
pgas has quit [Read error: Connection reset by peer]
pgas has joined #ocaml
nullcat__ has quit [Ping timeout: 245 seconds]
destrius has quit [Quit: Leaving.]
mort___ has joined #ocaml
reem has joined #ocaml
BitPuffin has joined #ocaml
madroach_ has joined #ocaml
madroach has quit [Read error: Connection reset by peer]
_andre has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
Nijikokun has joined #ocaml
Nijikokun has quit [Max SendQ exceeded]
mengu has quit [Read error: Connection reset by peer]
<MercurialAlchemi>
especially the bit where it managed to change the entire file
ebzzry has quit [Remote host closed the connection]
nicoo has quit [Ping timeout: 250 seconds]
bobfang has quit [Remote host closed the connection]
nicoo has joined #ocaml
BitPuffin has joined #ocaml
psy_ has quit [Read error: Connection reset by peer]
jonludlam has joined #ocaml
psy_ has joined #ocaml
iorivur has joined #ocaml
bobfang has joined #ocaml
govg has quit [Quit: leaving]
chinglish has joined #ocaml
mengu has quit [Remote host closed the connection]
bobfang has quit [Remote host closed the connection]
bobfang has joined #ocaml
lordkryss has joined #ocaml
BitPuffin has quit [Ping timeout: 250 seconds]
tg has quit [Ping timeout: 244 seconds]
dsheets__ has quit [Ping timeout: 252 seconds]
dsheets__ has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
Haudegen has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
tg has joined #ocaml
iorivur has quit [Ping timeout: 265 seconds]
tg has quit [Ping timeout: 255 seconds]
larhat has joined #ocaml
<ollehar>
anyone want to continue the discussion about "simple" vs "complex" programming languages? especially, why would people choose manual memory management and void pointers over immutability by default and first-class modules? is this also a fight between industry and academy?
tg has joined #ocaml
bobfang has quit []
JuggleTux has quit [Ping timeout: 256 seconds]
JuggleTux has joined #ocaml
reem has quit [Remote host closed the connection]
reem has joined #ocaml
octachron has joined #ocaml
ski has joined #ocaml
ygrek has quit [Ping timeout: 250 seconds]
dsheets__ has quit [Ping timeout: 255 seconds]
yminsky has joined #ocaml
mengu has joined #ocaml
<ollehar>
Guess not :P
<MercurialAlchemi>
ollehar: C vs modern languages?
<MercurialAlchemi>
sometimes you don't want a garbage collector
<ollehar>
MercurialAlchemi: We were talking about perceived "simple" languages
<ollehar>
like C and PHP
<ollehar>
good point
<MercurialAlchemi>
also, widespread support and a large amount of libraries
Intensity has quit [Ping timeout: 265 seconds]
tizoc has quit [Ping timeout: 265 seconds]
tnguyen has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 245 seconds]
Intensity has joined #ocaml
<MercurialAlchemi>
PHP has a low barrier to entry as well, it just takes some experience to realize that a language that tries to guess what you are doing is a really terrible idea
<MercurialAlchemi>
or a larger codebase
dwoos has quit [Ping timeout: 265 seconds]
tnguyen has joined #ocaml
tizoc has joined #ocaml
<ollehar>
but ocaml has a low barrier, too?
<Drup>
depends
<Drup>
if it's your first language, yes
<ollehar>
you don't have to use all fancy-pancy stuff to make a real program.
<Drup>
if imperative and OOP is hardwire in your brain by years of practice
<Drup>
then no
<Drup>
(but I can confirm than OCaml as first language is not very hard, yes, especially with all the teaching materials we have now)
flx_ has joined #ocaml
myyst has joined #ocaml
dwoos has joined #ocaml
flux has quit [Ping timeout: 245 seconds]
flx has quit [Ping timeout: 245 seconds]
myst has quit [Ping timeout: 245 seconds]
igitoor has quit [Ping timeout: 265 seconds]
flx_ is now known as flux
mort___1 has joined #ocaml
mort___ has quit [Ping timeout: 250 seconds]
flxx has joined #ocaml
<dmbaturin>
Drup: You taught ocaml as a first language?
igitoor has joined #ocaml
<dmbaturin>
ollehar: Part of the problem is that instead of teaching programming many introductory books/tutorials/courses/etc. teach a language or domain knowledge.
<ollehar>
dmbaturin: yeah
hekmekk has joined #ocaml
<Drup>
dmbaturin: I learned ocaml as a first language, and see other people learn it
hannes` has joined #ocaml
sivoais has joined #ocaml
asmanur has joined #ocaml
<dmbaturin>
Drup: Your introductory programming course used it?
Cypi_ has joined #ocaml
OnkV has joined #ocaml
igitoor has joined #ocaml
igitoor has quit [Changing host]
<_andre>
does anyone know how to solve this? [WARNING] There is a consistency problem with the currently installed packages: - No package matches lwt.
<_andre>
opam list shows lwt 2.4.7 installed
NoNNaN has quit [Ping timeout: 250 seconds]
flxx has quit [*.net *.split]
Intensity has quit [*.net *.split]
Haudegen has quit [*.net *.split]
chinglish has quit [*.net *.split]
psy_ has quit [*.net *.split]
hekmek has quit [*.net *.split]
asmanur_ has quit [*.net *.split]
rfv has quit [*.net *.split]
dch has quit [*.net *.split]
Cypi has quit [*.net *.split]
c74d has quit [*.net *.split]
majoh has quit [*.net *.split]
whitequark has quit [*.net *.split]
jbrown has quit [*.net *.split]
ggherdov has quit [*.net *.split]
strmpnk has quit [*.net *.split]
hannes has quit [*.net *.split]
regnat has quit [*.net *.split]
andreypopp__ has quit [*.net *.split]
eventualbuddha has quit [*.net *.split]
Averell has quit [*.net *.split]
rwmjones has quit [*.net *.split]
Averell has joined #ocaml
majoh has joined #ocaml
flxx has joined #ocaml
Intensity has joined #ocaml
chinglish has joined #ocaml
psy_ has joined #ocaml
eventualbuddha has joined #ocaml
strmpnk has joined #ocaml
andreypopp__ has joined #ocaml
whitequark has joined #ocaml
jbrown has joined #ocaml
regnat has joined #ocaml
rwmjones has joined #ocaml
dch has joined #ocaml
rfv has joined #ocaml
OnkV is now known as Haudegen
c74d has joined #ocaml
<_andre>
hmm removing lwt and installing again gets me 2.4.5
<_andre>
is 2.4.7 not supposed to work with ocaml 4.02.1?
<companion_cube>
I'm surprised I need to write a myocamlbuild.ml just to use a library
Guest92952 is now known as Haudegen
myyst is now known as myst
destrius has joined #ocaml
<thizanne>
you must write it just to use ocamlfind, so why not
enitiz has joined #ocaml
travisbrady has joined #ocaml
<companion_cube>
no, -use-ocamlfind is enough
badkins has joined #ocaml
psy_ has joined #ocaml
nopf has quit [Ping timeout: 244 seconds]
ptc has joined #ocaml
nopf has joined #ocaml
ptc is now known as Guest6364
Guest6364 has quit [Client Quit]
iorivur has quit [Ping timeout: 245 seconds]
ontologiae has joined #ocaml
ghostpl has quit [Remote host closed the connection]
travisbrady has quit [Quit: travisbrady]
ghostpl has joined #ocaml
Denommus has quit [Ping timeout: 244 seconds]
travisbrady has joined #ocaml
Michael__ has joined #ocaml
Michael__ is now known as Guest97535
BitPuffin has quit [Read error: Connection reset by peer]
<Guest97535>
hi, how can install an older version of a package using opam?
BitPuffin has joined #ocaml
<MercurialAlchemi>
Guest97535: opam install package=version should work, I think
<Guest97535>
thanks
ghostpl has quit [Remote host closed the connection]
robink has joined #ocaml
ghostpl has joined #ocaml
darkf has quit [Quit: Leaving]
AlexRussia has quit [Ping timeout: 256 seconds]
thomasga has quit [Quit: Leaving.]
AlexRussia has joined #ocaml
skinkitten has joined #ocaml
mort___1 has quit [Ping timeout: 245 seconds]
ptc_ has joined #ocaml
malc_ has joined #ocaml
<Drup>
dmbaturin: yes
WraithM has joined #ocaml
slash^ has joined #ocaml
enitiz has quit [Ping timeout: 250 seconds]
arj has joined #ocaml
Guest97535 has quit [Ping timeout: 246 seconds]
rgrinberg has joined #ocaml
ebzzry has joined #ocaml
stygianguest has quit [Quit: Page closed]
chinglish has quit [Quit: Nettalk6 - www.ntalk.de]
rgrinberg has quit [Quit: Leaving.]
mort___ has joined #ocaml
enitiz has joined #ocaml
hekmekk has quit [Quit: Verlassend]
badkins has quit [Read error: Connection reset by peer]
badkins has joined #ocaml
badkins has quit [Read error: Connection reset by peer]
Averell has quit [Changing host]
Averell has joined #ocaml
rgrinberg has joined #ocaml
ollehar1 has joined #ocaml
thomasga has joined #ocaml
kerneis_ has quit [Ping timeout: 240 seconds]
kerneis_ has joined #ocaml
sheijk_ has quit [Ping timeout: 264 seconds]
enitiz has quit [Ping timeout: 245 seconds]
sheijk has joined #ocaml
zapu has quit [Ping timeout: 240 seconds]
axiles has quit [Ping timeout: 252 seconds]
WraithM has quit [Quit: leaving]
zapu has joined #ocaml
mengu has quit []
arj has quit [Quit: Leaving.]
enitiz has joined #ocaml
jabesed has quit [Quit: Konversation terminated!]
struktured has joined #ocaml
arj has joined #ocaml
arj has quit [Client Quit]
bobfang has joined #ocaml
<bobfang>
hi
dsheets__ is now known as dsheets
Thooms has quit [Quit: WeeChat 1.0.1]
<bobfang>
from what I know that Ocaml will infer covariant and contravaraint right? Is there a way to display these information out?
struk|work has quit [Ping timeout: 246 seconds]
zwer_i has joined #ocaml
zwer has quit [Ping timeout: 250 seconds]
sivoais has quit [Ping timeout: 245 seconds]
<companion_cube>
in general you can export this information in .mli: type +'a t
mort___ has quit [Ping timeout: 264 seconds]
AlexRussia has quit [Ping timeout: 245 seconds]
<companion_cube>
and the compiler will complain if it disagrees
sivoais has joined #ocaml
AlexRussia has joined #ocaml
<Drup>
bobfang: it's infered only if the type is exposed
<Drup>
if the type is opaque, the compiler can't infer it, so you have to put in the .mli explicitely
bobfang has quit [Ping timeout: 265 seconds]
octachron has quit [Quit: Leaving]
ollehar1 has quit [Ping timeout: 250 seconds]
bobfang has joined #ocaml
iorivur has joined #ocaml
ptc_ has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
struktured has quit [Ping timeout: 264 seconds]
myst|work has quit [Ping timeout: 240 seconds]
myst|work has joined #ocaml
jabesed has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
enitiz has joined #ocaml
jonludlam has quit [Quit: Coyote finally caught me]
slash^ has quit [Read error: Connection reset by peer]
struktured has joined #ocaml
slash^ has joined #ocaml
arj has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
ghostpl has quit [Remote host closed the connection]
thomasga1 has joined #ocaml
thomasga1 has quit [Client Quit]
thomasga has quit [Ping timeout: 250 seconds]
thomasga has joined #ocaml
tane has joined #ocaml
thomasga1 has joined #ocaml
thomasga has quit [Ping timeout: 252 seconds]
rgrinberg has joined #ocaml
malc_ has quit [Ping timeout: 264 seconds]
Algebr has joined #ocaml
reem has joined #ocaml
<Algebr>
Does The ordering of open directives matter?
travisbrady has quit [Quit: travisbrady]
ptc has joined #ocaml
ptc is now known as Guest15750
<Drup>
in case of shadowing, yes
<Drup>
(there is a compiler warning for that)
reem has quit [Ping timeout: 245 seconds]
Submarine has joined #ocaml
Submarine has joined #ocaml
enitiz has quit [Ping timeout: 245 seconds]
malc_ has joined #ocaml
q66 has joined #ocaml
yomimono has quit [Ping timeout: 252 seconds]
ollehar1 has joined #ocaml
struktured has quit [Ping timeout: 250 seconds]
iorivur has quit [Ping timeout: 250 seconds]
vanila has joined #ocaml
malc_ has quit [Ping timeout: 252 seconds]
<Algebr>
doing open twice isn't bad, correct?
<Drup>
you mean, opening twice the same module ?
<Algebr>
yes
<Drup>
it's not "bad" but it's completely useless and very bad style
<Drup>
doing global opens is often considered not very good style to begin with
ggole has quit []
Submarine has quit [Remote host closed the connection]
Kakadu has quit [Quit: Page closed]
skinkitten has quit [Ping timeout: 245 seconds]
<Algebr>
I see, I'm just temporarily doing it because I think the syntax extensions in ocsigen are confusing merlin
vanila has left #ocaml ["Leaving"]
<Drup>
there is a special thingy for js_of_ocaml's syntax extension
<Drup>
(no hope for eliom yet, though)
malc_ has joined #ocaml
paradoja has quit [Ping timeout: 264 seconds]
bobfang has quit [Remote host closed the connection]
ontologiae has quit [Ping timeout: 265 seconds]
labichn has joined #ocaml
fds has quit [Changing host]
fds has joined #ocaml
larhat has quit [Quit: Leaving.]
skinkitten has joined #ocaml
enitiz has joined #ocaml
skinkitten has quit [Ping timeout: 245 seconds]
enitiz has quit [Ping timeout: 245 seconds]
slash^ has quit [Read error: Connection reset by peer]
Nijikokun has joined #ocaml
Nijikokun has quit [Max SendQ exceeded]
Nijikokun has joined #ocaml
Nijikokun has quit [Max SendQ exceeded]
Kakadu has joined #ocaml
skinkitten has joined #ocaml
_andre has quit [Quit: leaving]
<rgrinberg>
Drup: what's the progress on shedding p4 for js_of_ocaml?
<rgrinberg>
the ## thing is the blocker right?
jao has joined #ocaml
jao has quit [Changing host]
jao has joined #ocaml
<Drup>
rgrinberg: next ocaml version
<Drup>
(probably 4.02.2)
Haudegen has quit [Ping timeout: 244 seconds]
Haudegen has joined #ocaml
yomimono has joined #ocaml
Algebr has quit [Ping timeout: 245 seconds]
dsheets has quit [Ping timeout: 265 seconds]
AlexRussia has quit [Ping timeout: 245 seconds]
myyst has joined #ocaml
AlexRussia has joined #ocaml
myst has quit [Ping timeout: 250 seconds]
Algebr has joined #ocaml
reem has joined #ocaml
travisbrady has joined #ocaml
reem has quit [Ping timeout: 245 seconds]
travisbrady has quit [Client Quit]
travisbrady has joined #ocaml
rgrinberg has quit [Quit: Leaving.]
rgrinberg has joined #ocaml
bobfang has joined #ocaml
thomasga has joined #ocaml
thomasga1 has quit [Ping timeout: 250 seconds]
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
thomasga has joined #ocaml
thomasga has quit [Client Quit]
badkins has joined #ocaml
badkins has quit [Remote host closed the connection]
lordkryss has quit [Quit: Connection closed for inactivity]
jao has quit [Ping timeout: 245 seconds]
manizzle has joined #ocaml
enitiz has joined #ocaml
<Algebr>
What's the correct invocation of ocamlfind to give me back the path of where a module is?
yomimono has quit [Ping timeout: 252 seconds]
eventualbuddha has quit []
eventualbuddha has joined #ocaml
<adrien>
Algebr: -query
<Algebr>
Is an ocaml package just a whole bunch of modules, its not a special object in itself correct?
<Drup>
in first aproximation, yes.
travisbrady has quit [Quit: travisbrady]
hilquias has quit [Remote host closed the connection]
hilquias has joined #ocaml
travisbrady has joined #ocaml
ghostpl has joined #ocaml
hilquias has quit [Remote host closed the connection]
ghostpl has quit [Ping timeout: 264 seconds]
bugabinga has quit [Ping timeout: 252 seconds]
rgrinberg has quit [Quit: Leaving.]
<whitequark>
a package is first and foremost a META file
hilquias has joined #ocaml
<labichn>
Hey all, I can't print backtraces in a findlib package I've installed locally: (Program not linked with -g, cannot print stack backtrace), and I've spent days trying to do so.
<labichn>
The flag -g can go into a myriad of places, and I've tried it everywhere: compiling/linking the library (both ocamlbuild's -cflag and -lflag, as well as in _tags file), in the library's META linkopts, compiling/linking the client code. I'm sure I'm missing something obvious--it cannot be this hard to see a backtrace.
<labichn>
Does that error (Program not linked with -g, cannot print stack backtrace) identify which part of the build/install process is missing debugging information to anyone more in the know than I?
travisbrady has quit [Quit: travisbrady]
<whitequark>
try rebuilding the library and the program with OCAMLPARAM=_,g=1
<whitequark>
this should be completely bulletproof
rgrinberg has joined #ocaml
travisbrady has joined #ocaml
bytbox has joined #ocaml
<labichn>
whitequark: Did that this morning, no luck
<labichn>
I even wiped out my entire OPAM and rebuild everything with OCAMLPARAM=_,g=1
<whitequark>
that is extremely weird
<labichn>
(tried with p=1 as well, but couldn't get the compiler built with that)
Trin00 has joined #ocaml
hilquias` has joined #ocaml
rkowalick has joined #ocaml
hilquias has quit [Ping timeout: 240 seconds]
<whitequark>
yeah you shouldn't build compiler with OCAMLPARAM
<whitequark>
is it 4.02.1?
<labichn>
Looks like I'm still running 4.02.0, I'll bump it up
<labichn>
Waiting on core's build...
<Algebr>
Can I use ocamlfind to give me the location of a specific module?
<adrien>
Algebr: as I said: -query
<Algebr>
oh, I thought that was just for packages
<whitequark>
that is just for packages
<adrien>
yes, indeed, sorry
<adrien>
but, also, why do you want that?
<Algebr>
Maybe to like see the ml? but I guess opam doesn't keep source
<whitequark>
it's not about opam
<Drup>
opam can keep sources if you ask it
<whitequark>
if the package wants to install source, it will be present
<Drup>
(see the man page)
<Algebr>
Drup: for ocp-browser, any idea what is Alt-h on OS X, macbook keyboard?
<companion_cube>
no news on the assemblage front?
<labichn>
Agh, ppx_deriving's giving me Unrecognized [@@deriving] option syntax, looking into it
<Drup>
Algebr: None whatsoever
<Drup>
you don't have an equivalent of Alt ?
BitPuffin has quit [Ping timeout: 264 seconds]
<rkowalick>
OSX definitely has an alt key
arj has quit [Quit: Leaving.]
Trin00 has quit [Quit: Leaving]
<labichn>
whitequark: I'm glad you dropped the uppercase from the deriving names in 4.02.1, it looks much nicer. I did the same with 4.02.1 (rebuilt packages with OCAMLPARAM=_,g=1) and it worked perfectly, must have missed something when I did it this morning for 4.02.0. Thanks for the help!
bobfang has quit [Remote host closed the connection]
tane has quit [Quit: Verlassend]
bobfang has joined #ocaml
<Algebr>
rkowalick: yea, it says alt and I've tried a few key combos and none worked so far.