samth
2017-10-6 17:23:38

@samth has joined the channel


samth
2017-10-6 17:23:40

@samth set the channel purpose: Talk about releases


stamourv
2017-10-6 17:23:40

@stamourv has joined the channel


samth
2017-10-6 17:24:02

Here’s the current pkg-build status for the upcoming release:


samth
2017-10-6 17:24:07
worse
  #hash(("msgpack" . (success build-fail))
        ("turnstile" . (success test-fail))
        ("nvim-client" . (test-fail build-fail))
        ("deferred" . (success test-fail)))
  better
  #hash(("fixture" . (build-fail success))
        ("asyncunit" . (test-fail success))
        ("disposable-test" . (build-fail no-docs)))

samth
2017-10-6 17:25:48

msgpack is a TR issue caused by fixes to contract generation (cc @ben @pnwamk)


ben
2017-10-6 17:26:32

@ben has joined the channel


pnwamk
2017-10-6 17:26:33

@pnwamk has joined the channel


samth
2017-10-6 17:27:03

nvim-client is failing because of msgpack


samth
2017-10-6 17:28:13

turnstile is a timeout that happens on the NWU machine but not the Utah machine


samth
2017-10-6 17:28:29

deferred has a non-deterministic test failure


pnwamk
2017-10-6 17:36:25

where does one see the build results w/ the failing packages?


stamourv
2017-10-6 17:39:38

@samth: Isn’t there already #release-management for that kind of discussion?


samth
2017-10-6 17:39:57

@stamourv #release-management is a private channel


stamourv
2017-10-6 17:40:08

Also, thanks for looking into that. We’ll want to re-run that closer to testing.


stamourv
2017-10-6 17:40:13

Should it be?


samth
2017-10-6 17:40:29

pnwamk
2017-10-6 17:40:47

thanks


samth
2017-10-6 17:40:55

@stamourv rather than having a discussion about making it public, I just created this


stamourv
2017-10-6 17:41:49

Fair. That would likely be a tedious discussion.


ben
2017-10-6 17:46:30

ok that’s my bug. Because of changing or/c


ben
2017-10-6 17:47:09

there’s a function with type (-> InputPort (Rec T (U Bytes (Vectorof T))) that can’t be used in untyped code right now


samth
2017-10-6 17:52:25

How did the change to or/c break that?


ben
2017-10-6 17:53:20

(oops or/sc) I think because the optimizer used to reduce that to (-> input-port? any/c)


ben
2017-10-6 17:54:29

I’m trying to understand why TR expects a flat contract here … seems like it should be ok to put the contract (-> input-port? (or/c (vectorof ....) ....)) on an exported function


samth
2017-10-6 17:54:32

That is indeed wrong, but why doesn’t the contract work now?


ben
2017-10-6 17:55:45

maybe or/sc is expecting its parts to instantiate to flat contracts?


ben
2017-10-6 18:08:25

ok I did a bad job explaining the problem, the type had more cases than (U Bytes (Vector ....) ....), and the real problem was with hashtables


ben
2017-10-6 18:08:48

and it looks like this is a bug in msgpack … 1 sec & I’ll send 2 pasteracks


ben
2017-10-6 18:10:37
  1. this program runs on 6.10.1 http://pasterack.org/pastes/46087
  2. this similar program errors on 6.10.1 http://pasterack.org/pastes/70766

ben
2017-10-6 18:11:13

the error is right because hashtable keys can’t be mutable vectors


ben
2017-10-6 18:11:40

but or/sc was hiding the error


samth
2017-10-6 18:15:39

I don’t understand


samth
2017-10-6 18:16:02

hashtable keys can certainly be mutable vectors


samth
2017-10-6 18:20:11

Can you open a bug about this?


samth
2017-10-6 18:20:19

with your current understanding of the issue


pnwamk
2017-10-6 18:48:42

is it a hasheq thing?


pnwamk
2017-10-6 18:49:20

(the reason why hash wants flat key contracts)


samth
2017-10-6 18:54:00

Yes