<zozozo>
and if you remove the module names (i.e for instance stmt instead of Ast.stmt), it doesn't compile right ?
emias has joined #ocaml
<sh0t>
zozozo: yes
<sh0t>
i mean it doesnt
<sh0t>
i have to se the dot notation like open it's useless
<sh0t>
*use
<zozozo>
hmm... when is the error raised ? when compiling the .mly file (using ocamlyacc or menhir), or when compiling the generated .ml file ?
<Drup>
for the type, it's normal, you have to quantiy
<Drup>
quantify*
<sh0t>
in the compilation
<sh0t>
the problem seems to be in the interface
<Drup>
it's because the type is used in the .mli
<sh0t>
parser.mli
<Drup>
and you can't include stuff in the .mli
<sh0t>
ok so the open it0s a bit useless in this situation
<sh0t>
i have to use the dot notation
<zozozo>
sh0t: well it is still useful if you can functions from the modules
<zozozo>
s/can/use
<sh0t>
mm
<sh0t>
ok
<sh0t>
guys thanks a lot my learning curve is increasing thanks to this chan :D
nullcat_ has joined #ocaml
<sh0t>
is it a problem to use the same name for a constructor in different types?
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
jabesed has joined #ocaml
<zozozo>
the compiler can now infer to which type the constructor belongs according to the rest of an expression, but it might lead it to infer the wrong type in some rare instances
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<zozozo>
so it is not a problem, but it can make your life harder sometimes
<sh0t>
ok I'll risk for now :P
jabesed has quit [Quit: Konversation terminated!]
jwatzman|work has quit [Quit: jwatzman|work]
nullcat has joined #ocaml
keen___________4 has quit [Read error: Connection reset by peer]
keen___________4 has joined #ocaml
nullcat has quit [Client Quit]
shinnya has quit [Ping timeout: 258 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AltGr has joined #ocaml
17SACQIFG has joined #ocaml
jcloud has joined #ocaml
systmkor has joined #ocaml
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
waneck has quit [Remote host closed the connection]
blandflakes has joined #ocaml
ncthom91 has joined #ocaml
blandflakes has quit [Client Quit]
seanmcl has joined #ocaml
<Algebr>
what is the purpose or intended usage of the obj module
kdef has quit [Quit: Leaving]
seanmcl has quit [Client Quit]
leafac has joined #ocaml
<Drup>
working around the type system when it's in your way and you think you know better :p
ousado_ has joined #ocaml
<Algebr>
When is that the case?
<Drup>
almost never.
<Algebr>
when is it indeed the case?
stomp has joined #ocaml
stomp has quit [Ping timeout: 250 seconds]
ousado has quit [Ping timeout: 250 seconds]
<Drup>
still almost never :p
<Drup>
ok, actually, there is one morally valid case, Coq extraction
17SACQIFG has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<Algebr>
Wait, so you can mess with types at runtime?
<Drup>
well, that's not really what the Obj module is doing
<Algebr>
what does it do? I thought it was giving you the ability to cast?
<Drup>
I think a simple example is better than a long explanation
<Drup>
type (Obj.magic 0 : string) in your top level.
<Drup>
basically, it allows you to completely ignore the type system
<Drup>
so, yeah, along other things, you can cast
<jyc>
OPAM keeps telling me that there is an external solver failure and to fix my installation. I'm looking at the solver log file, but everything seems to be fine.
<jyc>
How can I fix this?
<Algebr>
wow
<Drup>
jyc: can you pastebin "opam config report" somwhere ?
<Drup>
Algebr: you should read the chapter of RWO about the memory representation
<bernardofpc>
If I say " module M = Set.Make (struct type t = int let compare = compare end) ", will the compiler use the right specialized function ?
leafac1 has quit [Ping timeout: 272 seconds]
<sh0t>
when it matches something there it sends it directly to the parser with ...int_of_string...while in my case I need to break the thing I matched in many floats and from them create a new element of type array
darryn has quit [Quit: Lost terminal]
<adrien_znc>
you should start by breaking down the problem: it looks like you don't have something independant that will match floats and that you can reuse to parse the inside of the array
<def`>
sh0t: did you fix your vim problem?
inf-gropeoid has joined #ocaml
<sh0t>
nope def`
<sh0t>
i'll leave it for later
leafac1 has joined #ocaml
<sh0t>
ok adrien_znc
leafac1 has left #ocaml [#ocaml]
leafac has quit [Ping timeout: 250 seconds]
<sh0t>
so say i have something like: float=('-'? digit+ '.' digit*';') then i need to parse whatever matched v3...with flaot?
<jyc>
is opium still under active development?
Anarchos has joined #ocaml
matason has joined #ocaml
<Drup>
not really
<def`>
sh0t: filetype plugin on
<def`>
filetype indent on
<def`>
syntax on
<def`>
set nocompatible
<def`>
that's a common prolog for .vimrc which you're lacking, although afaict debianalready set some vim options (because that's their business ofc)
<sh0t>
def`, it seems to work :D at least :TypeOf
<companion_cube>
bernardofpc: I'm not sure in this special case, but that might work with a recent ocaml
ggole has quit [Ping timeout: 245 seconds]
swgillespie has joined #ocaml
agarwal1975 has joined #ocaml
nullcat_ has joined #ocaml
nullcat_ has quit [Ping timeout: 272 seconds]
larhat has quit [Ping timeout: 255 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Kakadu has joined #ocaml
everyonemines has joined #ocaml
<rgrinberg>
:TypeOf isn't a thing anymore
<rgrinberg>
It's :MerlinTypeOf now, no?
<rgrinberg>
(thank god for that)
<sh0t>
oh...it's sitlle there it seems
Haudegen has quit [Ping timeout: 265 seconds]
ncthom91 has joined #ocaml
swgillespie has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
<def`>
you might have an old version?!
Algebr has joined #ocaml
<sh0t>
they both work...
<sh0t>
anyway def` can I please ask you to tell me how to parse stuff like this [|-1.0; 4-9; 1.0;|] problem is that I match with my lexer http://paste.ubuntu.com/11572497/ things like -1.0 but then once I am inside the array I need to get all of the values and from them create an array with Array.make. I don't know how to do that because I don't know how many numbers..i'll get...
<sh0t>
and also I hate lexing and parsing !!!
<Algebr>
I guess merlin can't typecheck subtype coercions
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
fraggle_ has joined #ocaml
cschneid has quit [Ping timeout: 256 seconds]
cschneid has joined #ocaml
idegen has quit [Quit: Leaving.]
idegen has joined #ocaml
Simn has quit [Quit: Leaving]
kc has joined #ocaml
kc is now known as Guest69527
Guest69527 has quit [Client Quit]
kayceesrk has joined #ocaml
Submarine has quit [Remote host closed the connection]
freling has joined #ocaml
tmtwd has quit [Remote host closed the connection]
badon has quit [Quit: Leaving]
nullcat_ has joined #ocaml
octachron has quit [Quit: Leaving]
freling has quit [Read error: Connection reset by peer]
freling has joined #ocaml
<bernardofpc>
companion_c> | bernardofpc: I'm not sure in this special case, but that might work with a recent ocaml -> what should I write to be sure that the compiler will not be too general ?
freling has quit [Read error: Connection reset by peer]
freling has joined #ocaml
AlexRussia has quit [Quit: WeeChat 1.2-dev]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
nullcat_ has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
<def`>
Algebr: why?
badon has joined #ocaml
ygrek has quit [Ping timeout: 264 seconds]
badkins has quit []
thegameg has quit [Ping timeout: 240 seconds]
rbocquet has quit [Ping timeout: 252 seconds]
ncthom91 has joined #ocaml
Algebr has quit [Ping timeout: 256 seconds]
thomasga has joined #ocaml
kayceesrk has quit [Quit: kayceesrk]
thegameg has joined #ocaml
kayceesrk has joined #ocaml
tinhead has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 250 seconds]
rbocquet has joined #ocaml
amnn has joined #ocaml
matason has quit []
seanmcl has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
kayceesrk has quit [Quit: kayceesrk]
Gama11 has quit [Read error: Connection reset by peer]
struk|work has quit [Ping timeout: 246 seconds]
MrScout has quit [Remote host closed the connection]
kayceesrk has joined #ocaml
MrScout has joined #ocaml
MrScout has quit [Remote host closed the connection]
MrScout has joined #ocaml
Algebr has joined #ocaml
Cyanure has quit [Remote host closed the connection]
freling has quit [Quit: Leaving.]
MrScout has quit [Quit: Leaving...]
Anarchos has quit [Quit: Vision[0.9.7-H-20140108]: i've been blurred!]
Algebr has quit [Ping timeout: 244 seconds]
kayceesrk has quit [Quit: kayceesrk]
MrScout has joined #ocaml
xificurC has quit [Remote host closed the connection]
xificurC has joined #ocaml
jave has quit [Ping timeout: 245 seconds]
jave has joined #ocaml
thomasga has quit [Quit: Leaving.]
jonh has left #ocaml ["WeeChat 0.4.2"]
jleroux has quit [Ping timeout: 245 seconds]
adarqui has quit [Ping timeout: 245 seconds]
cross has quit [Ping timeout: 245 seconds]
adarqui has joined #ocaml
cross has joined #ocaml
Hannibal_Smith has quit [Quit: Leaving]
Jefffrey has joined #ocaml
tinhead has quit [Quit: tinhead]
Hannibal_Smith has joined #ocaml
ygrek has joined #ocaml
rgrinberg has quit [Ping timeout: 245 seconds]
seanmcl has joined #ocaml
Kakadu has quit [Remote host closed the connection]
freling has joined #ocaml
struktured has quit [Ping timeout: 256 seconds]
freling has quit [Ping timeout: 255 seconds]
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
amnn has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]