xenu has quit [Read error: Connection reset by peer]
mxns has joined #ocaml
<d_bot>
<Anurag> I don't think it has an active maintainer at the moment.
<dmbaturin>
Anurag: Looks like the only alternative is odate which doesn't build with >=4.06, so I need to work on a fix either way.
<d_bot>
<Anurag> I think if you have a PR there are still people who have commit rights who might be able to merge (there is codeowners file)
<dmbaturin>
Well, you and c-cube are in the repo owners. I have no doubt there are people who can merge a patch. What I've been wondering about if there's anyone else to work on a fix.
<d_bot>
<Anurag> not sure if you've noticed this, you'd need to branch off of the `3.x` branch instead of the default `master` (i found this wasn't very clear when i tried to submit a patch last year).
<d_bot>
<Anurag> Huh, i'm a codeowner?
<d_bot>
<Anurag> *repo owner?
<dmbaturin>
Anurag: Ah, sorry, only a contributor.
<d_bot>
<Anurag> I was assigned that when i tried to propose a fix for a build issue. I'd need to spend more time with datetime style libraries to feel comfortable working on more invasive changes.
steenuil_ has quit [Read error: Connection reset by peer]
<companion_cube>
I also tried to fix iso8601 but it's a pain
<companion_cube>
And I'm not sure how to assess if changes are correct :((
<dmbaturin>
Hhm. odate's API is unwieldy, but the parser appears to work.
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
Jeanne-Kamikaze has quit [Ping timeout: 256 seconds]
catern has quit [Ping timeout: 256 seconds]
catern has joined #ocaml
gaussian has quit [Quit: Connection closed]
reynir has quit [Remote host closed the connection]
reynir has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
mxns has joined #ocaml
shawnw has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
decentpenguin has quit [Quit: ZNC crashed or something]
decentpenguin has joined #ocaml
amiloradovsky has quit [Ping timeout: 260 seconds]
Haudegen has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
Serpent7776 has joined #ocaml
raver has joined #ocaml
jgjl has quit [Ping timeout: 264 seconds]
jgjl has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
borne has joined #ocaml
hnOsmium0001 has quit [Quit: Connection closed for inactivity]
steenuil has joined #ocaml
Tuplanolla has joined #ocaml
<d_bot>
<joris> Hi, is there a way to make this work ?
<d_bot>
<joris> ```
<d_bot>
<joris> type ('a, 'b) test = A : (int, int) test | B : ('a, int) test
<d_bot>
<joris> type ('a, 'b) test2 = C : ('a, int) test2 | D : (float, 'b) test2
<d_bot>
<joris>
<d_bot>
<joris> type ('a, 'b) record = { inner : ('a, 'b) test }
<d_bot>
<joris>
<d_bot>
<joris> type wrapped = Wrapped : ('a, 'b) test2 * ('a, 'b) record -> wrapped
<d_bot>
<joris>
<d_bot>
<joris> let test (type a b) (record : (a, b) record) wit =
<d_bot>
<joris> match record.inner, wit with
<d_bot>
<joris> | A, 42 ->
<d_bot>
<joris> Wrapped (C, record)
<d_bot>
<joris> | B, 0 ->
<d_bot>
<joris> Wrapped (D, record)
<d_bot>
<joris> | _ -> failwith "error"
<d_bot>
<joris> ```
<d_bot>
<joris> my understanding is that since b is locally abstract it is not unified to int as an existential inside the second match case so it does not work
<d_bot>
<joris> the workaround is to construct a fresh record inside each branch i guess
jgjl has quit [Ping timeout: 256 seconds]
jgjl has joined #ocaml
<d_bot>
<craigfe> Or use a pattern alias:
<d_bot>
<craigfe> ```ocaml
<d_bot>
<craigfe> let test : type a b. (a, b) record -> _ = fun record wit ->
<d_bot>
<craigfe> match record, wit with
<d_bot>
<craigfe> | { inner = A } as record, 42 -> Wrapped (C, record)
<d_bot>
<craigfe> | { inner = B } as record, 0 -> Wrapped (D, record)
<d_bot>
<craigfe> | _ -> failwith "error";;
<d_bot>
<craigfe> ```
<d_bot>
<joris> oh, right, i tried to alias the inner type, but didn't think about descruturing
<d_bot>
<craigfe> "Mutable structures (e.g. references and arrays) are equal if and only if their contents are structurally equal, even if the two mutable objects are not the same physical object"
<d_bot>
<craigfe> (I take it back: it's not really vague at all.)
<d_bot>
<Drup> it holds up to its name: it's structural
<d_bot>
<joris> No right I was stupid. Especially since compare is a c primitive and it would always be called boxed. It would be totally stupid to unbox blindly without tracking kind in opaque function
<d_bot>
<joris> I'm too scared of polymorphic compare so I invent problems
waleee-cl has joined #ocaml
<companion_cube>
we all are, joris, we all are
zebrag has joined #ocaml
mxns has quit [Ping timeout: 260 seconds]
raver has joined #ocaml
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
aaaaaa has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
borne has quit [Quit: WeeChat 2.9]
shawnw has quit [Ping timeout: 260 seconds]
hnOsmium0001 has joined #ocaml
tane has joined #ocaml
mxns has joined #ocaml
TheLemonMan has joined #ocaml
amiloradovsky has joined #ocaml
ggole has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
reynir has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
Haudegen has joined #ocaml
reynir has joined #ocaml
Anarchos has joined #ocaml
shmibs has quit [Quit: leaving =o]
shmibs has joined #ocaml
mxns has quit [Ping timeout: 264 seconds]
shmibs has quit [Client Quit]
shmibs has joined #ocaml
mxns has joined #ocaml
berberman has quit [Ping timeout: 272 seconds]
berberman_ has joined #ocaml
mxns has quit [Ping timeout: 256 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
Anarchos has joined #ocaml
Anarchos has quit [Client Quit]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
narimiran has quit [Ping timeout: 260 seconds]
amiloradovsky has quit [Remote host closed the connection]
amiloradovsky has joined #ocaml
mxns has quit [Ping timeout: 272 seconds]
amiloradovsky has quit [Ping timeout: 264 seconds]