TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
mxns has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
mxns has joined #ocaml
mxns has quit [Ping timeout: 252 seconds]
<olle>
type any_shape = Any : (module SHAPE with type t = 'a and type s = {data : 'a; area: 'a -> int}) -> any_shape
<olle>
type s is wrong here :d
<olle>
Syntax error at record notation
<olle>
Anyone knows?
<d_bot>
<bnguyenvanyen> You can't declare the type there, but you can alias it
<olle>
How?
<olle>
type s = 'b gives other error
<olle>
since s is public in the SHAPE sig
<d_bot>
<bnguyenvanyen> Because the record declaration is nominal I think, you need to be able to refer to it afterwards.
<olle>
Hm
<d_bot>
<bnguyenvanyen> So you would declare `type 'a areable = { data : 'a ; area : 'a -> int }` and then `with type s = 'a areable` or something like that
<octachron>
With constraints can only add equations, not define new components.
mxns has joined #ocaml
<d_bot>
<bnguyenvanyen> There, said righter, thanks octachron
<olle>
equations?
<octachron>
For instance "with type t = int" is adding the equation "t=int"
<d_bot>
<bnguyenvanyen> I don't really feel knowledgeable enough to comment on design, but to me this feels strictly less nice than just putting the `area` function in `SHAPE` and then using that
zolk3ri has joined #ocaml
Anarchos has joined #ocaml
<olle>
hm hm hm
<olle>
oh, you put shape type outside the module, then
<olle>
thanks!
<olle>
Weird that's needed
<olle>
OK, now for modules + objects :D
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
olle has quit [Ping timeout: 240 seconds]
olle has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
<Anarchos>
did anybody translate the modern compiler in ml files for SML into Ocaml?
Hrundi_V_Bakshi has quit [Quit: No Ping reply in 180 seconds.]
tane has quit [Quit: Leaving]
Hrundi_V_Bakshi has joined #ocaml
<d_bot>
<Curzon> ```
<d_bot>
<Curzon> # Fatal error: the file '../boot/ocamlc' has not the right magic number: expected Caml1999X025, got Caml1999X028
<d_bot>
<Curzon>
<d_bot>
<Curzon> ```
<d_bot>
<Curzon> Does anyone know about this
vicfred has joined #ocaml
<d_bot>
<Curzon> I'm trying to install ocaml-cross-windows but I'm already having several errors/issues
<Anarchos>
curzon yes you install files too recent for your boot compiler
<d_bot>
<Curzon> what does that mean
<d_bot>
<Curzon> also
<d_bot>
<Curzon> why is my ocamlrun not in my opam default bin, i had to make an ln/link target for it
<d_bot>
<Curzon> ill just create a new switch exactly what the github expected
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
zebrag has quit [Quit: Konversation terminated!]
zebrag has joined #ocaml
olle has quit [Ping timeout: 252 seconds]
arecaceae has quit [Remote host closed the connection]
arecaceae has joined #ocaml
Hrundi_V_Bakshi has quit [Ping timeout: 240 seconds]