#reasonml on 2016-07-21 — irc logs at freenode.irclog.whitequark.org

2016-05-26 08:47 chenglou changed the topic of #reasonml to: http://facebook.github.io/reason/. Public channel logs at http://irclog.whitequark.org/reasonml

01:00 StyxAlso has joined #reasonml

01:19 Algebr`` has quit [Ping timeout: 252 seconds]

01:20 Algebr`` has joined #reasonml

01:24 Algebr`` has quit [Remote host closed the connection]

01:25 Algebr`` has joined #reasonml

01:29 Algebr`` has quit [Ping timeout: 250 seconds]

01:53 kentwilliam has joined #reasonml

01:55 kentwilliam has quit [Remote host closed the connection]

01:55 kentwilliam has joined #reasonml

01:57 kentwilliam has quit [Remote host closed the connection]

01:58 kentwilliam has joined #reasonml

02:04 rgrinberg has quit [Ping timeout: 240 seconds]

02:20 kentwilliam has quit [Ping timeout: 258 seconds]

02:34 rgrinberg has joined #reasonml

03:27 kentwilliam has joined #reasonml

03:31 kentwilliam has quit [Ping timeout: 250 seconds]

04:09 rgrinberg has quit [Ping timeout: 260 seconds]

04:21 kentwilliam has joined #reasonml

04:21 kentwilliam has quit [Remote host closed the connection]

04:21 kentwilliam has joined #reasonml

04:22 kentwilliam has quit [Remote host closed the connection]

04:22 kentwilliam has joined #reasonml

04:23 kentwilliam has quit [Remote host closed the connection]

04:23 kentwilliam has joined #reasonml

04:23 kentwilliam has quit [Remote host closed the connection]

04:24 kentwilliam has joined #reasonml

04:24 kentwilliam has quit [Remote host closed the connection]

04:24 kentwilliam has joined #reasonml

04:25 kentwilliam has quit [Remote host closed the connection]

04:25 kentwilliam has joined #reasonml

04:26 kentwilliam has quit [Remote host closed the connection]

04:26 kentwilliam has joined #reasonml

04:27 kentwilliam has quit [Remote host closed the connection]

04:27 kentwilliam has joined #reasonml

04:27 kentwilliam has quit [Remote host closed the connection]

04:27 kentwilliam has joined #reasonml

04:28 kentwilliam has quit [Remote host closed the connection]

04:28 kentwilliam has joined #reasonml

04:29 kentwilliam has quit [Remote host closed the connection]

04:29 kentwilliam has joined #reasonml

04:30 kentwilliam has quit [Remote host closed the connection]

04:30 kentwilliam has joined #reasonml

04:30 struk|desk has joined #reasonml

04:30 kentwilliam has quit [Remote host closed the connection]

04:30 kentwilliam has joined #reasonml

04:31 kentwilliam has quit [Remote host closed the connection]

04:31 kentwilliam has joined #reasonml

04:32 kentwilliam has quit [Remote host closed the connection]

04:32 kentwilliam has joined #reasonml

04:33 kentwilliam has quit [Remote host closed the connection]

04:33 kentwilliam has joined #reasonml

04:33 kentwilliam has quit [Remote host closed the connection]

04:33 kentwilliam has joined #reasonml

04:34 kentwilliam has quit [Remote host closed the connection]

04:34 kentwilliam has joined #reasonml

04:35 kentwilliam has quit [Remote host closed the connection]

04:35 kentwilliam has joined #reasonml

04:36 kentwilliam has quit [Remote host closed the connection]

04:36 kentwilliam has joined #reasonml

04:36 kentwilliam has quit [Remote host closed the connection]

04:36 kentwilliam has joined #reasonml

04:37 kentwilliam has quit [Remote host closed the connection]

04:37 jonasen has joined #reasonml

04:37 kentwilliam has joined #reasonml

04:38 kentwilliam has quit [Remote host closed the connection]

04:38 kentwilliam has joined #reasonml

04:39 kentwilliam has quit [Remote host closed the connection]

04:39 kentwilliam has joined #reasonml

04:39 kentwilliam has quit [Remote host closed the connection]

04:40 kentwilliam has joined #reasonml

04:40 kentwilliam has quit [Remote host closed the connection]

04:40 kentwilliam has joined #reasonml

04:41 kentwilliam has quit [Remote host closed the connection]

04:41 kentwilliam has joined #reasonml

04:42 kentwilliam has quit [Remote host closed the connection]

04:42 kentwilliam has joined #reasonml

04:42 kentwilliam has quit [Remote host closed the connection]

04:42 kentwilliam has joined #reasonml

04:43 kentwilliam has quit [Remote host closed the connection]

04:43 kentwilliam has joined #reasonml

04:44 kentwilliam has quit [Remote host closed the connection]

04:44 kentwilliam has joined #reasonml

04:45 kentwilliam has quit [Remote host closed the connection]

04:45 kentwilliam has joined #reasonml

04:45 kentwilliam has quit [Remote host closed the connection]

04:46 kentwilliam has joined #reasonml

04:46 kentwilliam has quit [Remote host closed the connection]

04:46 kentwilliam has joined #reasonml

04:47 kentwilliam has quit [Remote host closed the connection]

04:47 kentwilliam has joined #reasonml

04:48 kentwilliam has quit [Remote host closed the connection]

04:48 kentwilliam has joined #reasonml

04:48 kentwilliam has quit [Remote host closed the connection]

04:49 kentwilliam has joined #reasonml

04:49 kentwilliam has quit [Remote host closed the connection]

04:49 kentwilliam has joined #reasonml

04:50 kentwilliam has quit [Remote host closed the connection]

04:50 kentwilliam has joined #reasonml

04:51 kentwilliam has quit [Remote host closed the connection]

04:51 kentwilliam has joined #reasonml

04:51 kentwilliam has quit [Remote host closed the connection]

04:52 kentwilliam has joined #reasonml

04:52 kentwilliam has quit [Remote host closed the connection]

04:52 kentwilliam has joined #reasonml

04:53 kentwilliam has quit [Remote host closed the connection]

04:53 kentwilliam has joined #reasonml

04:54 kentwilliam has quit [Remote host closed the connection]

04:54 kentwilliam has joined #reasonml

04:54 kentwilliam has quit [Remote host closed the connection]

04:54 copy` has quit [Quit: Connection closed for inactivity]

04:55 kentwilliam has joined #reasonml

04:55 kentwilliam has quit [Remote host closed the connection]

04:55 kentwilliam has joined #reasonml

04:56 kentwilliam has quit [Remote host closed the connection]

04:56 kentwilliam has joined #reasonml

04:57 kentwilliam has quit [Remote host closed the connection]

04:57 kentwilliam has joined #reasonml

04:57 kentwilliam has quit [Remote host closed the connection]

04:58 kentwilliam has joined #reasonml

04:58 kentwilliam has quit [Remote host closed the connection]

04:58 kentwilliam has joined #reasonml

04:59 kentwilliam has quit [Remote host closed the connection]

04:59 kentwilliam has joined #reasonml

05:00 kentwilliam has quit [Remote host closed the connection]

05:00 kentwilliam has joined #reasonml

05:00 kentwilliam has quit [Remote host closed the connection]

05:01 kentwilliam has joined #reasonml

05:05 kentwilliam has quit [Ping timeout: 250 seconds]

05:11 StyxAlso has quit [Quit: StyxAlso]

05:34 _spyder has joined #reasonml

05:37 <_spyder> Hi, I just posted on twitter that the installation instructions aren't working for me on OS X... here's the terminal log https://gist.github.com/TheSpyder/b93c538f0c13081840d5095485ce98be

05:39 <chenglou> _spyder: thanks a lot, looking

05:41 <_spyder> I built the docker image successfully yesterday so it's probably something unique to OS X that's going wrong

05:41 <yunxing> _spyder: thanks, we are taking a look now

05:45 <yunxing> _spyder: what's your opam version?

05:46 <_spyder> 1.2.2, the current one in homebrew

05:51 <yunxing> same as mine. It looks like the result of the opam pin command is problematic -- it kept complaining it couldn't find the source code.

05:51 <yunxing> while the source code should already be pinned from git

05:51 <_spyder> yeah, I haven't used opam pin before so I'm not sure what's going on

05:51 <yunxing> _spyder: could you show me the result of "opam pin"?

05:51 <_spyder> or rather I have, but not for git URLs

05:52 <_spyder> shinji:~ spyder$ opam pin

05:52 <_spyder> merlin.2.3.1 (uninstalled) git https://github.com/the-lambda-church/merlin.git#reason-0.0.1

05:52 <_spyder> merlin_extend.0.2 (uninstalled) git https://github.com/let-def/merlin-extend.git#reason-0.0.1

05:52 <_spyder> reason.0.0.5 (uninstalled) git https://github.com/facebook/reason.git#0.0.6

05:52 <_spyder> and the git clones appear to have been placed in ~/.opam/4.02.3/packages.dev/ correctly

05:53 <yunxing> could you try "opam install merlin"

05:53 <yunxing> it forces the package to be reinstalled

05:53 <_spyder> same error

05:53 <_spyder> at one point I tried removing the pin and it installed the current release without any issue

05:54 <_spyder> while it's gathering sources it does mention updating git (that isn't in the log as the message is overwritten)

05:54 <yunxing> _spyder: yeah, we need the git pinned version of merlin -- we are still waiting for a new release that supports reason

06:01 kentwilliam has joined #reasonml

06:01 kentwilliam has quit [Remote host closed the connection]

06:01 kentwilliam has joined #reasonml

06:01 <yunxing> https://www.irccloud.com/pastebin/gMVbJFC0/

06:02 kentwilliam has quit [Remote host closed the connection]

06:02 kentwilliam has joined #reasonml

06:02 <_spyder> I was just in the process of trying that ;)

06:02 <_spyder> seems to be working

06:03 kentwilliam has quit [Remote host closed the connection]

06:03 <_spyder> although I just used the existing clones from the ~/.opam folder rather than make new ones

06:03 kentwilliam has joined #reasonml

06:03 kentwilliam has quit [Remote host closed the connection]

06:04 <yunxing> _spyder: hmm, don't know if that would work -- when you local pin, it syncs the package to your ~/.opam folder

06:04 kentwilliam has joined #reasonml

06:04 <_spyder> I moved them out, first

06:04 <yunxing> _spyder: oh okay

06:04 kentwilliam has quit [Remote host closed the connection]

06:04 kentwilliam has joined #reasonml

06:05 kentwilliam has quit [Remote host closed the connection]

06:05 kentwilliam has joined #reasonml

06:06 kentwilliam has quit [Remote host closed the connection]

06:06 <_spyder> couldn't find any issues about opam pin to git urls on osx, but it's a bit of a weird thing to search for

06:06 kentwilliam has joined #reasonml

06:06 <_spyder> ok reason is working now :)

06:06 kentwilliam has quit [Remote host closed the connection]

06:07 kentwilliam has joined #reasonml

06:07 <yunxing> oh nice !

06:07 kentwilliam has quit [Remote host closed the connection]

06:07 <yunxing> don't know what exactly is the root cause, though

06:07 kentwilliam has joined #reasonml

06:08 <_spyder> it just seems like opam pin on osx has a bug with using git urls

06:08 kentwilliam has quit [Remote host closed the connection]

06:08 <_spyder> might try a few things and submit a bug report to them

06:08 kentwilliam has joined #reasonml

06:09 kentwilliam has quit [Remote host closed the connection]

06:09 <yunxing> I know there are some issues with 1.3, but this is the first time I see git issue with 1.2.2 .

06:09 kentwilliam has joined #reasonml

06:09 kentwilliam has quit [Remote host closed the connection]

06:09 <_spyder> ooh, it's the branch. opam pin add -y merlin 'https://github.com/the-lambda-church/merlin.git' works just fine.

06:10 kentwilliam has joined #reasonml

06:10 kentwilliam has quit [Remote host closed the connection]

06:10 kentwilliam has joined #reasonml

06:11 kentwilliam has quit [Remote host closed the connection]

06:11 kentwilliam has joined #reasonml

06:12 kentwilliam has quit [Remote host closed the connection]

06:12 kentwilliam has joined #reasonml

06:12 kentwilliam has quit [Remote host closed the connection]

06:13 kentwilliam has joined #reasonml

06:13 kentwilliam has quit [Remote host closed the connection]

06:13 kentwilliam has joined #reasonml

06:14 kentwilliam has quit [Remote host closed the connection]

06:14 kentwilliam has joined #reasonml

06:15 kentwilliam has quit [Remote host closed the connection]

06:15 kentwilliam has joined #reasonml

06:15 kentwilliam has quit [Remote host closed the connection]

06:16 kentwilliam has joined #reasonml

06:16 <_spyder> https://github.com/ocaml/opam/issues/2613

06:16 kentwilliam has quit [Remote host closed the connection]

06:16 kentwilliam has joined #reasonml

06:17 <yunxing> _spyder: cool, thanks!

06:17 kentwilliam has quit [Remote host closed the connection]

06:17 kentwilliam has joined #reasonml

06:18 kentwilliam has quit [Remote host closed the connection]

06:18 kentwilliam has joined #reasonml

06:18 <yunxing> _spyder: and happy hacking with Reason!

06:18 kentwilliam has quit [Remote host closed the connection]

06:19 kentwilliam has joined #reasonml

06:19 kentwilliam has quit [Remote host closed the connection]

06:19 kentwilliam has joined #reasonml

06:20 kentwilliam has quit [Remote host closed the connection]

06:20 kentwilliam has joined #reasonml

06:21 kentwilliam has quit [Remote host closed the connection]

06:21 kentwilliam has joined #reasonml

06:21 kentwilliam has quit [Remote host closed the connection]

06:22 kentwilliam has joined #reasonml

06:22 kentwilliam has quit [Remote host closed the connection]

06:22 kentwilliam has joined #reasonml

06:23 kentwilliam has quit [Remote host closed the connection]

06:23 kentwilliam has joined #reasonml

06:24 kentwilliam has quit [Remote host closed the connection]

06:24 kentwilliam has joined #reasonml

06:24 kentwilliam has quit [Remote host closed the connection]

06:25 kentwilliam has joined #reasonml

06:25 kentwilliam has quit [Remote host closed the connection]

06:25 kentwilliam has joined #reasonml

06:26 kentwilliam has quit [Remote host closed the connection]

06:26 kentwilliam has joined #reasonml

06:27 kentwilliam has quit [Remote host closed the connection]

06:27 kentwilliam has joined #reasonml

06:27 kentwilliam has quit [Remote host closed the connection]

06:28 kentwilliam has joined #reasonml

06:28 kentwilliam has quit [Remote host closed the connection]

06:28 kentwilliam has joined #reasonml

06:29 kentwilliam has quit [Remote host closed the connection]

06:29 kentwilliam has joined #reasonml

06:30 kentwilliam has quit [Remote host closed the connection]

06:30 kentwilliam has joined #reasonml

06:30 kentwilliam has quit [Remote host closed the connection]

06:31 kentwilliam has joined #reasonml

06:31 kentwilliam has quit [Remote host closed the connection]

06:31 kentwilliam has joined #reasonml

06:32 kentwilliam has quit [Remote host closed the connection]

06:32 kentwilliam has joined #reasonml

06:33 kentwilliam has quit [Remote host closed the connection]

06:33 kentwilliam has joined #reasonml

06:33 kentwilliam has quit [Remote host closed the connection]

06:34 kentwilliam has joined #reasonml

06:34 kentwilliam has quit [Remote host closed the connection]

06:34 kentwilliam has joined #reasonml

06:35 kentwilliam has quit [Remote host closed the connection]

06:35 kentwilliam has joined #reasonml

06:36 kentwilliam has quit [Remote host closed the connection]

06:36 kentwilliam has joined #reasonml

06:36 kentwilliam has quit [Remote host closed the connection]

06:37 kentwilliam has joined #reasonml

06:37 kentwilliam has quit [Remote host closed the connection]

06:37 kentwilliam has joined #reasonml

06:38 kentwilliam has quit [Remote host closed the connection]

06:38 kentwilliam has joined #reasonml

06:39 kentwilliam has quit [Remote host closed the connection]

06:39 <_spyder> I'll try :)

06:39 kentwilliam has joined #reasonml

06:39 <_spyder> some of the chat around reason talks about compiling to JS, but reason itself doesn't seem to do that? was the intention that it should be done with things like js_of_ocaml or bucklescript?

06:39 kentwilliam has quit [Remote host closed the connection]

06:40 kentwilliam has joined #reasonml

06:40 kentwilliam has quit [Remote host closed the connection]

06:40 kentwilliam has joined #reasonml

06:41 kentwilliam has quit [Remote host closed the connection]

06:41 kentwilliam has joined #reasonml

06:42 kentwilliam has quit [Remote host closed the connection]

06:42 kentwilliam has joined #reasonml

06:42 kentwilliam has quit [Remote host closed the connection]

06:43 kentwilliam has joined #reasonml

06:43 kentwilliam has quit [Remote host closed the connection]

06:43 kentwilliam has joined #reasonml

06:44 kentwilliam has quit [Remote host closed the connection]

06:44 kentwilliam has joined #reasonml

06:45 kentwilliam has quit [Remote host closed the connection]

06:45 kentwilliam has joined #reasonml

06:45 kentwilliam has quit [Remote host closed the connection]

06:46 kentwilliam has joined #reasonml

06:46 kentwilliam has quit [Remote host closed the connection]

06:46 kentwilliam has joined #reasonml

06:47 kentwilliam has quit [Remote host closed the connection]

06:47 kentwilliam has joined #reasonml

06:48 kentwilliam has quit [Remote host closed the connection]

06:48 kentwilliam has joined #reasonml

06:48 kentwilliam has quit [Remote host closed the connection]

06:49 kentwilliam has joined #reasonml

06:49 kentwilliam has quit [Remote host closed the connection]

06:49 kentwilliam has joined #reasonml

06:50 kentwilliam has quit [Remote host closed the connection]

06:50 kentwilliam has joined #reasonml

06:51 kentwilliam has quit [Remote host closed the connection]

06:51 kentwilliam has joined #reasonml

06:51 kentwilliam has quit [Remote host closed the connection]

06:52 kentwilliam has joined #reasonml

06:52 kentwilliam has quit [Remote host closed the connection]

06:52 kentwilliam has joined #reasonml

06:53 kentwilliam has quit [Remote host closed the connection]

06:53 kentwilliam has joined #reasonml

06:54 kentwilliam has quit [Remote host closed the connection]

06:54 kentwilliam has joined #reasonml

06:54 kentwilliam has quit [Remote host closed the connection]

06:55 kentwilliam has joined #reasonml

06:55 kentwilliam has quit [Remote host closed the connection]

06:55 kentwilliam has joined #reasonml

06:56 kentwilliam has quit [Remote host closed the connection]

06:56 kentwilliam has joined #reasonml

06:57 kentwilliam has quit [Remote host closed the connection]

06:57 kentwilliam has joined #reasonml

06:57 kentwilliam has quit [Remote host closed the connection]

06:58 kentwilliam has joined #reasonml

06:58 kentwilliam has quit [Remote host closed the connection]

06:58 kentwilliam has joined #reasonml

06:59 kentwilliam has quit [Remote host closed the connection]

06:59 kentwilliam has joined #reasonml

07:04 kentwilliam has quit [Ping timeout: 250 seconds]

07:46 <_spyder> sadly I can't lurk here. Oh well, bye :)

07:47 _spyder has quit []

09:01 kentwilliam has joined #reasonml

09:05 kentwilliam has quit [Ping timeout: 250 seconds]

10:02 kentwilliam has joined #reasonml

10:07 kentwilliam has quit [Ping timeout: 250 seconds]

11:04 kentwilliam has joined #reasonml

11:08 kentwilliam has quit [Ping timeout: 250 seconds]

11:11 copy` has joined #reasonml

11:49 rgrinberg has joined #reasonml

13:05 kentwilliam has joined #reasonml

13:09 kentwilliam has quit [Ping timeout: 250 seconds]

14:36 kentwilliam has joined #reasonml

14:41 kentwilliam has quit [Ping timeout: 250 seconds]

16:16 rgrinberg has quit [Ping timeout: 276 seconds]

17:07 jeffmo has joined #reasonml

17:07 rgrinberg has joined #reasonml

17:18 kentwill_ has joined #reasonml

17:19 kentwill_ has quit [Remote host closed the connection]

17:23 hongbo has joined #reasonml

17:40 kentwilliam has joined #reasonml

17:45 kentwilliam has quit [Remote host closed the connection]

17:46 kentwilliam has joined #reasonml

17:46 Algebr`` has joined #reasonml

18:09 kentwilliam has quit [Ping timeout: 272 seconds]

18:41 jonasen has quit [Quit: My Mac has gone to sleep. ZZZzzz…]

18:48 jeffmo has quit [Read error: Connection reset by peer]

18:49 jeffmo has joined #reasonml

18:51 kentwilliam has joined #reasonml

18:53 kentwill_ has joined #reasonml

18:55 kentwilliam has quit [Ping timeout: 250 seconds]

19:03 rgrinberg has quit [Ping timeout: 244 seconds]

19:26 kentwilliam has joined #reasonml

19:26 kentwill_ has quit [Read error: Connection reset by peer]

19:26 kentwilliam has quit [Remote host closed the connection]

19:27 kentwilliam has joined #reasonml

19:27 kentwilliam has quit [Remote host closed the connection]

19:28 kentwilliam has joined #reasonml

19:32 kentwilliam has quit [Client Quit]

19:34 rgrinberg has joined #reasonml

20:26 kentwill_ has joined #reasonml

20:46 jeffmo has quit [Read error: Connection reset by peer]

20:46 jeffmo has joined #reasonml

21:15 _whitelogger has joined #reasonml

21:22 kentwilliam has joined #reasonml

21:25 kentwill_ has quit [Ping timeout: 258 seconds]

21:32 kentwill_ has joined #reasonml

21:33 jeffmo has quit [Quit: jeffmo]

21:35 kentwilliam has quit [Ping timeout: 250 seconds]

21:35 kentwilliam has joined #reasonml

21:36 kentwill_ has quit [Ping timeout: 250 seconds]

22:10 apache2 has quit [Remote host closed the connection]

22:26 kentwilliam has quit [Remote host closed the connection]

22:35 kentwilliam has joined #reasonml

22:40 kentwilliam has quit [Ping timeout: 272 seconds]

22:55 kentwilliam has joined #reasonml

23:07 suppi has quit [Ping timeout: 250 seconds]