00:13 (join) jyc 00:18 (join) didi 00:20 (part) didi 00:24 (quit) ivan\: Quit: ERC Version 5.3 (IRC client for Emacs) 00:25 (join) ivan\ 00:27 (join) RacketCommitBot 00:27 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/MMiLOQ 00:27 RacketCommitBot: [racket/master] add PLTJUSTSAVEFAILURES support; makes it easier to build a good - Robby Findler 00:27 (part) RacketCommitBot 00:27 jonrafkind: build a good what! the suspense is killing me 00:28 mithos28: set of bitmaps, i had to check 00:30 mithos28: why cannot TR read my mind, and just do the right thing? 00:31 mithos28: rudybot: (require typed/racket) 00:31 rudybot: mithos28: your sandbox is ready 00:31 rudybot: mithos28: Done. 00:31 mithos28: rudybot: (ann (filter false? '(#f #t)) (Listof False)) 00:31 rudybot: mithos28: ; Value: (#f) 00:31 rudybot: mithos28: ; stdout: "- : (Listof False)\n" 00:31 mithos28: rudybot: (ann (filter (lambda (x) x) '(#f #t)) (Listof True)) 00:31 rudybot: mithos28: error: #:1:5: Type Checker: Polymorphic function filter could not be applied to arguments: Types: (a -> Boolean : ((b @ 0) | Top)) (Listof a) -> (Listof b) (a -> Any) (Listof a) -> (Listof a) Arguments: (Any -> Any : ((! False @ 0) | (False @ 0)) (0)) (List False True) Expected result: (Listof True) in: (#%app filter (lambda (x) x) (quote (#f #t)) 00:32 jonrafkind: thats highly readable 00:32 jonrafkind: its funny how the new error message stuff completely doesn't work in irc 00:33 jonrafkind: probably should be converted into an irc line break 00:33 mithos28: yeah, but its great in the command line 00:33 jonrafkind: i haven't even updated git yet, im still on a tree from like 3 weeks ago 00:42 mithos28: Expected (Boolean -> (U False True)), but got (Boolean -> Boolean). Something is wrong there. 00:48 jonrafkind: heh 00:49 mithos28: Its because Boolean is a primitive type and not defined as a union of True and False 00:52 jonrafkind: TR needs type equivalences 00:52 jonrafkind: or you should just assert that Boolean = (U true false) 00:52 mithos28: no, the definition of Boolean should be (U #t #f) 00:53 mithos28: I'm going to see if that breaks anything, I doubt it though 00:56 mithos28: why is DrRacket such a memory hog, it takes 300-500 MB to display a text file and corresponding windows 01:00 (quit) zyoung: Remote host closed the connection 01:01 (quit) kreol[Ukr]: Ping timeout: 246 seconds 01:06 (join) __rahul__ 01:06 (join) rahul__ 01:08 (join) lusory 01:09 (part) lusory 01:14 (join) veer 01:15 (quit) hash_table: Ping timeout: 252 seconds 01:16 (quit) getpwnam: Ping timeout: 252 seconds 01:25 (quit) antithesis: Quit: antithesis 01:33 (join) jeapostrophe 01:34 (quit) __rahul__: Ping timeout: 244 seconds 01:34 (quit) rahul__: Ping timeout: 246 seconds 01:36 (join) rahul__ 01:36 (join) __rahul__ 01:37 (quit) jeapostrophe: Ping timeout: 244 seconds 01:44 (quit) kvda: Quit: x__x 02:08 (quit) Kaylin: Quit: Leaving. 02:08 (join) nilyaK 02:09 (quit) __rahul__: Ping timeout: 245 seconds 02:09 (quit) rahul__: Ping timeout: 240 seconds 02:21 (join) __rahul__ 02:22 (join) rahul__ 02:23 (quit) veer: Quit: Leaving 02:56 (quit) jonrafkind: Ping timeout: 252 seconds 03:02 (quit) cdidd: Remote host closed the connection 03:05 (quit) mithos28: Quit: mithos28 03:08 (join) netrino 03:11 (join) hkBst 03:11 (quit) hkBst: Changing host 03:11 (join) hkBst 03:21 (join) mye 03:25 (quit) rahul__: Ping timeout: 245 seconds 03:25 (quit) __rahul__: Ping timeout: 240 seconds 03:28 (quit) netrino: Quit: Ave! 03:28 (quit) jacius: Quit: Leaving 03:29 (join) rahul__ 03:33 (join) noelw 03:37 (join) RacketCommitBot 03:37 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/tVSxag 03:37 RacketCommitBot: [racket/master] adjusted the module-language, pretty-big and r5rs parts of - Robby Findler 03:37 (part) RacketCommitBot 03:37 (quit) Fare: Quit: Leaving 03:45 (join) __rahul__ 03:49 (quit) nilyaK: Ping timeout: 244 seconds 03:49 (join) nilyaK 04:23 (quit) jyc: Read error: Connection reset by peer 04:27 (quit) nilyaK: Read error: Connection reset by peer 04:32 (join) bitonic_ 04:36 (join) Kaylin 04:37 (join) tim-brown 04:50 (join) netrino 04:55 (quit) bitonic_: Quit: WeeChat 0.3.7 04:56 tim-brown: morning all. 04:57 tim-brown: thanks to everyone who's helped be get SunOS/amd64 built 05:29 Cryovat: Not to be snarky, but SunOS still exists? 05:41 (join) antithesis 05:48 tim-brown: That's what uname prints out on my system 05:49 tim-brown: I'm a programmer, not an expert in Oracle's current branding policy 05:49 tim-brown: SunOS/Solaris ... they both pop up in the O/S calls, documentation, packaging 05:51 tim-brown: plus I've already been asked "have i considered..."? 05:52 tim-brown: i have, i know the right answer, but it doesn't help so much when the customer likes their sparc machines 05:55 (join) RacketCommitBot 05:55 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/tftvmA 05:55 RacketCommitBot: [racket/master] Adjust datalog to cooperate with check syntax a little bit more. - Robby Findler 05:55 (part) RacketCommitBot 06:03 Cryovat: tim-brown: I see :) 06:03 Cryovat: I was just wondering, because Wikipedia made it sound like the stopped calling it SunOS almost a decade ago 06:03 (join) mye_ 06:04 tim-brown: Croyvant: it's not inconceivable that I'm almost a decade out of date 06:04 tim-brown: I mean Cryovat, excuse me 06:05 Cryovat: I'm not sure, could be one of those instances where the marketing dept changes the name, but the tools retain the old strings 06:06 tim-brown: it happens sometimes. even in the best of products 06:06 tim-brown: ack-grep -i mz_ * 06:06 tim-brown: :-) 06:06 (quit) mye: Ping timeout: 246 seconds 06:06 Cryovat: Hehe 06:07 Cryovat: Hm, haven't tried ack 06:07 tim-brown: i have confidence that you get the gist 06:08 (join) snearch 06:08 Cryovat: Yeah, was just wondering if it's worth replacing grep with ;) 06:08 tim-brown: i've been "using" it for a few months (when I remember, it's by no means habitual) 06:09 Cryovat: I recently replaced screen and irssi with tmux and weechat 06:09 Cryovat: And been very pleased with it 06:09 Cryovat: So I'm open for alternatives to other staples 06:09 (quit) jrslepak: Quit: This computer has gone to sleep 06:10 tim-brown: was recommended by eli(? or someone else here) when i posted a "find . -name '*.c' -exec grep -l blech {} \;" string 06:12 tim-brown: thing is, i can type all of that before i've remembered to use ack-grep 06:16 (quit) Kaylin: Quit: Leaving. 06:27 (join) nilyaK 06:28 (quit) snearch: Quit: Verlassend 06:30 (quit) netrino: Quit: Ave! 06:43 (join) gciolli 06:53 (quit) noam__: Read error: Connection reset by peer 06:54 (join) noam 06:54 (quit) noam: Read error: Connection reset by peer 06:54 (join) noam 06:55 (quit) noam: Read error: Connection reset by peer 06:55 (join) noam 06:56 (quit) noam: Read error: Connection reset by peer 06:56 (join) noam 06:57 (join) masm 07:01 (quit) vu3rdd: Remote host closed the connection 07:12 (join) nilyaK1 07:15 (quit) nilyaK: Ping timeout: 252 seconds 07:32 (quit) nilyaK1: Quit: Leaving. 07:37 (join) snearch 07:43 (quit) gciolli: Ping timeout: 246 seconds 07:58 (join) jeapostrophe 07:59 (quit) jeapostrophe: Changing host 07:59 (join) jeapostrophe 08:06 (quit) Shviller: Ping timeout: 246 seconds 08:07 (join) Shviller 08:09 (quit) rahul__: Ping timeout: 245 seconds 08:09 (quit) __rahul__: Ping timeout: 246 seconds 08:17 (join) RacketCommitBot 08:17 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/kJQiVA 08:17 RacketCommitBot: [racket/master] fix easter egg test suite for the new error messages - Robby Findler 08:17 (part) RacketCommitBot 08:21 (quit) noam: Read error: Connection reset by peer 08:21 (join) noam 08:22 (quit) noam: Read error: Connection reset by peer 08:22 (join) noam 08:35 (quit) snearch: Quit: Verlassend 08:36 (quit) noam: Read error: Connection reset by peer 08:37 (join) noam 08:42 (join) zyoung 08:43 (quit) noam: Read error: Connection reset by peer 08:43 (join) noam__ 08:43 (quit) noam__: Read error: Connection reset by peer 08:44 (join) noam__ 08:45 (quit) noam__: Read error: Connection reset by peer 08:45 (join) noam__ 08:45 (quit) noam__: Read error: Connection reset by peer 08:46 (join) noam__ 08:49 (quit) noam__: Read error: Connection reset by peer 08:49 (join) noam__ 08:54 (quit) noam__: Read error: Connection reset by peer 08:54 (join) noam__ 08:55 (quit) noam__: Read error: Connection reset by peer 08:55 (join) dnolen 08:55 (join) noam__ 08:55 (join) dnolen_ 08:56 (quit) noam__: Read error: Connection reset by peer 08:56 (join) noam__ 08:57 (quit) dnolen: Remote host closed the connection 08:57 (quit) dnolen_: Remote host closed the connection 08:59 (join) dnolen 09:01 (quit) jeapostrophe: Ping timeout: 265 seconds 09:02 (join) yoklov 09:03 (join) snearch 09:05 (join) veer 09:05 (join) getpwnam 09:05 (join) hash_table 09:27 (quit) yoklov: Quit: computer sleeping 09:37 (quit) getpwnam: Ping timeout: 256 seconds 09:37 (quit) hash_table: Ping timeout: 256 seconds 10:01 samth: eli: ping 10:02 (join) zyoung_ 10:02 (join) jesyspa 10:03 (quit) karswell: 10:04 (quit) zyoung_: Read error: Operation timed out 10:05 (quit) zyoung: Ping timeout: 245 seconds 10:05 (quit) tim-brown: Remote host closed the connection 10:05 (quit) SHODAN: Remote host closed the connection 10:06 (join) karswell 10:07 (join) SHODAN 10:08 (join) zyoung 10:09 (quit) zyoung: Read error: Connection reset by peer 10:09 (join) zyoung 10:12 (quit) hkBst: Quit: Konversation terminated! 10:17 (join) netrino 10:28 (join) RacketCommitBot 10:28 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/wRyDPQ 10:28 RacketCommitBot: [racket/master] Redefine Boolean as (U #t #f). - Eric Dobson 10:28 (part) RacketCommitBot 10:30 (join) getpwnam 10:31 (join) hash_table 10:35 (nick) surrounder -> nobody` 10:42 (join) mithos28 10:51 (quit) noam__: Read error: Connection reset by peer 10:52 (join) noam__ 10:52 (quit) noam__: Read error: Connection reset by peer 10:53 (join) noam__ 10:53 (nick) noam__ -> noam 10:54 (join) noam 10:54 (quit) noam: Read error: Connection reset by peer 10:55 samth: mithos28: the Boolean change has been pushed 10:55 (join) noam 10:55 mithos28: saw that thanks. Is there a style guide for commit messages somewhere? The only rule that I knew was 80 char columns. 10:56 (quit) noam: Read error: Connection reset by peer 10:56 (join) noam__ 10:59 samth: mithos28: that's general git thing 11:00 samth: it uses the first blank line to distinguish between the summary and the rest of the commit message 11:00 mithos28: Ok, I always thought it was just the first line. 11:00 (join) jacius 11:02 samth: take a look at, for example, git log --oneline 11:04 (quit) zyoung: Remote host closed the connection 11:04 mithos28: I see that. Is the width 80 or 72, the internet seems divided on that? 11:04 (join) zyoung 11:04 samth: mithos28: not sure 11:09 (quit) zyoung: Ping timeout: 244 seconds 11:20 (join) zyoung 11:24 eli: samth: ? 11:24 samth: eli: has anyone sent a patch to pygments to fix the lexer for [] 11:25 eli: Not that I know about. 11:26 bremner: mithos28: linus had a rant about commit messages recently, if you consider that authoritive (or interesting). Personally I think 72 works a bit better with e.g. git log --oneline 11:27 (part) RenJuan 11:27 samth: eli: ok, i'll do it 11:27 eli: samth: It's about time someone would... 11:28 samth: eli: it should be trivial to do it wrong, but good enough 11:28 samth: just treat them identical to () 11:28 eli: I tried looking at it once and got lost in it. Wasn't as trivial as I thought it would be. 11:28 eli: Maybe the code has improved since then. 11:28 eli: Or maybe I was on drugs. 11:30 mithos28: bremner: It is more authoritative than the rest of the internet, so 72 it is 11:32 eli: mithos28: The specific limit is not too important -- 72 is better, but that's a minor difference compared to the difference between unformatted commit messages. 11:32 eli: And we have plenty of those. 11:32 (part) noelw 11:33 eli: And even worse are commit messages with no information in them. 11:33 mithos28: eli: I had been formatting mine, but as samth informed me, I was doing it incorrectly. I didn't put blank lines between the oneline and the rest of the message. 11:34 eli: Yeah, that would make most tools ignore the formatting. 11:34 (join) netrino_ 11:34 eli: They'd take consecutive lines as the same paragraph and will show it as such. 11:34 mithos28: So I was just trying to find other rules thet I should follow. 11:35 (quit) netrino: Read error: Operation timed out 11:35 eli: BTW, if you're using command-line flags, you can use multiple "-m"s for these things. 11:36 mithos28: I usually enter my editor, otherwise fixing a misspelling is annoying 11:37 eli: Another useful thing to know about is "git commit --amend" which can work even if there's no changes to commit. 11:37 eli: It lets you edit the commit message. 11:37 mithos28: yep had to do that when I spelled redefine as redfine on my last commit 11:38 eli: Which editor are you using? 11:38 mithos28: vim, is there a nice spelling tool to use with it? 11:38 eli: Ah, no, I don't know about vim... 11:39 eli: (If it was Emacs then I'd recommend a very nice tool.) 11:39 mithos28: oh so you're one of those emacs people i've heard about 11:39 eli: I'm probably more than that... 11:40 eli: I'm the guy whose been bugging generations of students to do a proper Emacs vs vi(m) edit war. 11:40 mithos28: I've tried emacs, I don't like every thing being on ctrl/alt 11:40 eli: Nobody has accepted the challenge, yet. 11:40 mithos28: especially since my keyboard does not have right alt 11:40 eli: The thing about Emacs is that in the default configuration it is extremely inconvenient. 11:40 mithos28: so is vim's (at least for dvorak) 11:41 eli: So if it's just the choice of keys that bugged you, then that's a bad reason to avoid it... 11:41 eli: (Not so if you're a fan of mode-based editing.) 11:42 eli: My configuration uses the arrow keys extensively. I practically never use nonsense like C-f etc. 11:42 mithos28: I like the mode based editing, but i used eclipse and other ides for many years and was fine with it then so I might be able to move back 11:42 mithos28: arrow keys annoy me, as they require moving my hands too much 11:43 eli: Well, then thing is that you can configure it to do whatever, but if you don't like arrows then there's not much point left. 11:44 eli: I use them so much that I'm still on an old dell d620 because I can't find a new laptop with the same setup for the arrow keys. 11:44 (quit) spanner: Ping timeout: 260 seconds 11:45 mithos28: I would like to see the integration of racket and vim revived, but I doubt that will happen 11:45 (join) spanner 11:45 mithos28: especially since it is still called mzscheme in vim 11:46 eli: I've seen bits around that indicate that it's still alive. 11:47 mithos28: The 2nd hit on google is that someone worked on a ressurection of it (but in 2003) 11:47 mye_: I would love if my programming skills where at a point where choice of editor would make any difference :-| (Although I do have quite an elaborate emacs setup) 11:48 eli: mithos28: It was definitely something newer; "racket" was mentioned. 11:50 mithos28: eli: my quick googlefu is turning up syntax highlighting stuff, maybe I'll just try to compile vim with it enabled and see if it works 11:52 samth: mithos28: asumu and/or jonrafkind will know things about highlighting in vim 11:52 mithos28: samth: I want racket scripting in vim not highlighting 11:52 eli: mithos28: For syntax, bug jonrafkind with problems; for the embedded thing, I've seen some page that was talking about embedding a recent-ish racket. 11:52 samth: mithos28: oh, right, someone was doing that to 11:53 mye_: Is it bad style to have module level *variables* or better just constants? 11:53 samth: discussed on this very channel, but i forget who 11:53 samth: mye_: no, it's fine, although you shouldn't over-use mutation 11:53 mithos28: Is there a way to search the logs more than a day at a time? 11:53 samth: mithos28: wget and grep? 11:54 samth: i wonder if there's a wgetfs ;) 11:54 mithos28: or theres google which has indexed the logs 11:55 mithos28: and it is tim-brown 11:55 mithos28: who was doing vim-racket integratino 11:58 (quit) BeLucid: Remote host closed the connection 11:59 mye_: mithos28, I use the evil package with emacs, it works quite well (as opposed to the other packages for vi emulation). I used it to have global shortcuts that don't get overriden by modes with the same binding, which I couldn't figure out how to to otherwise (probably short of writing my own global minor mode) 11:59 mye_: I switched to emacs mainly bc. of the lisp integration stuff 12:00 mithos28: mye_: I don't want elisp, I want racket. And it looks like the racket integration is working for somepeople, so I just have to recompile vim 12:00 (quit) noam__: Read error: Connection reset by peer 12:01 (join) noam__ 12:03 mye_: mithos28, true, but you also get the other packages for lisps (slime) and with evil you don't feel that much difference (except you're like a >10 year vim die-hard probably) :-) 12:03 (join) mceier 12:03 mithos28: only like 5 :P 12:05 mye_: but drracket has grown on me really. Except on 5.3.0.9 the live syntax checking lead to spurious chrashes on windows. 12:05 mye_: but luckily just disabling fixes this 12:06 mithos28: drracket assumes that memory grows on trees, which doesn't hold for a 5 year old laptop 12:07 mye_: mithos28, it does have this option of limiting the memory (128 for me currently). But that only applies to the actual program? 12:08 (quit) masm: Quit: Leaving. 12:08 mye_: i.e. not drracket itself? 12:09 mithos28: yeah only the program, just booting up a clean drracket takes 350 MBs 12:09 samth: mithos28: i think faster-than-5-year-old laptops grow on trees ;) 12:10 samth: mye_: if you can report/help debug that, it would be really helpful 12:10 (quit) noam__: Read error: Connection reset by peer 12:10 mithos28: samth: They do, but apple is releasing new ones in a couple weeks time and I am waiting for that 12:10 mye_: samth, I have a memory dump created by windows. Otherwise I spews some xml files that are probalby not helpful 12:10 samth: mithos28: ah 12:10 (join) noam__ 12:10 samth: mye_: please submit a bug report, and include all the info you have 12:11 mye_: samth, I couldn't figure out how to append files in the form in drracket :-) 12:11 samth: mye_: you can't 12:11 samth: i recommend putting them up on, say, gist.github.com, and including the url 12:12 mye_: the dump is nearly three megs 12:13 mye_: will to the report I have server i can upload it 12:15 (quit) noam__: Read error: Connection reset by peer 12:16 samth: mye_: that's good as well 12:16 samth: noam__ seems to have some connectivity issues 12:22 (quit) bremner: Changing host 12:22 (join) bremner 12:32 (quit) hash_table: Ping timeout: 260 seconds 12:32 (quit) getpwnam: Ping timeout: 260 seconds 12:39 (join) yoklov 12:52 (quit) yoklov: Quit: computer sleeping 13:07 (quit) bitonic: Quit: WeeChat 0.3.7 13:12 (join) jonrafkind 13:25 (join) cdidd 13:25 (join) anRch 13:26 (join) __rahul__ 13:35 (quit) veer: Quit: Leaving 13:40 (quit) dnolen: Ping timeout: 265 seconds 13:57 (join) getpwnam 13:58 (join) hash_table 14:09 (quit) __rahul__: Ping timeout: 252 seconds 14:09 (quit) cdidd: Remote host closed the connection 14:15 (join) cdidd 14:17 (quit) cdidd: Remote host closed the connection 14:19 (join) noam 14:20 (quit) noam: Read error: Connection reset by peer 14:20 (join) noam 14:21 (quit) noam: Read error: Connection reset by peer 14:21 (join) noam 14:22 (join) __rahul__ 14:22 (quit) noam: Read error: Connection reset by peer 14:22 (join) noam 14:23 (quit) noam: Read error: Connection reset by peer 14:24 (join) noam 14:24 (quit) noam: Read error: Connection reset by peer 14:25 (join) noam 14:25 (quit) jacius: Quit: Leaving 14:42 (quit) noam: Read error: Connection reset by peer 14:42 (join) noam 14:43 (quit) noam: Read error: Connection reset by peer 14:44 (join) noam 14:45 (quit) noam: Read error: Connection reset by peer 14:46 (join) noam__ 14:51 (quit) anRch: Quit: anRch 14:58 (quit) snearch: Quit: Verlassend 15:15 (join) bitonic 15:34 (join) nilyaK 15:45 (quit) bitonic: Quit: WeeChat 0.3.7 15:45 (join) bitonic 15:58 (join) jao 15:58 (quit) jao: Changing host 15:58 (join) jao 16:01 (quit) nilyaK: Ping timeout: 248 seconds 16:01 (join) cdidd 16:03 (join) yoklov 16:19 (join) BeLucid 16:25 (quit) snorble_: Quit: snorble_ 16:26 (join) jeapostrophe 16:26 (quit) jeapostrophe: Changing host 16:26 (join) jeapostrophe 16:33 (join) snorble_ 16:34 (join) nilyaK 16:38 (quit) nilyaK: Client Quit 16:54 (quit) antithesis: Quit: antithesis 16:57 (nick) Sgeo__ -> Sgeo 17:01 samth: eli: i think the the pull req about poll has been merged too 17:08 (join) Fare 17:21 (join) masm 17:33 (join) Kaylin 17:33 (quit) kanak: Ping timeout: 244 seconds 17:38 (quit) Kaylin: Read error: Connection reset by peer 17:42 (quit) BeLucid: Read error: Connection reset by peer 17:42 (part) snorble_ 17:44 (join) BeLucid 17:46 (join) snorble_ 18:05 (quit) snorble_: Remote host closed the connection 18:06 (join) zyoung_ 18:08 (quit) __rahul__: Quit: Leaving 18:09 (quit) zyoung: Ping timeout: 245 seconds 18:10 (join) snorble_ 18:10 (quit) jesyspa: Quit: leaving 18:11 (quit) zyoung_: Ping timeout: 244 seconds 18:12 (join) dnolen 18:22 (join) jyc 18:32 (join) zyoung 18:42 (join) RacketCommitBot 18:42 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/LkjrYw 18:42 RacketCommitBot: [racket/master] Flag booleans *follow* the arguments for optional keywords. - Sam Tobin-Hochstadt 18:42 RacketCommitBot: [racket/master] Use the new syntax properties for checking keyword functions. - Sam Tobin-Hochstadt 18:42 (part) RacketCommitBot 18:42 samth: wooohooo 18:42 samth: that is all 18:50 (quit) mye_: Ping timeout: 244 seconds 18:59 yoklov: how can I get the number of lines/columns on a terminal running a racket program? (getenv "LINES") and (getenv "COLUMNS") both return false, even if $LINES and $COLUMNS are set 19:13 jamessan: those typically aren't exported variables. they're just in the shell's environment 19:14 (quit) Fare: Ping timeout: 272 seconds 19:15 yoklov: hm 19:15 yoklov: i guess i can get it with `stty size`, but i'm unsure of how to run that in racket and get the result 19:16 yoklov: (system "stty size") runs it, but gives me nothing 19:16 yoklov: i think its one of the results of process that i want 19:16 yoklov: hm 19:17 jamessan: or if there's a module that can query the terminal 19:17 jonrafkind: you can spawn a process and get handles to its input and output 19:19 yoklov: hm, (read-line (fourth (process "stty size"))) doesn't run stty in the right place, i think 19:19 yoklov: i just get "stty: stdin is not a terminal" 19:23 yoklov: and nothing i do seems to please subprocess 19:25 (quit) dnolen: Ping timeout: 252 seconds 19:33 yoklov: aha! 19:33 yoklov: (with-output-to-string (lambda () (system "stty size"))) works 19:33 (join) RacketCommitBot 19:33 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/1Ezz8Q 19:33 RacketCommitBot: [racket/master] Test results from DrDr - Jay McCarthy 19:33 RacketCommitBot: [racket/master] Fixing datalog tests broken by bf95ee105 - Jay McCarthy 19:33 RacketCommitBot: [racket/master] Fixing racklog tests broken by bf95ee105 - Jay McCarthy 19:33 (part) RacketCommitBot 19:35 (quit) jonrafkind: Ping timeout: 245 seconds 19:45 (quit) bitonic: Quit: WeeChat 0.3.7 19:55 (quit) netrino_: Quit: Ave! 20:01 (join) Fare 20:10 (join) RacketCommitBot 20:10 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/x_iGeA 20:10 RacketCommitBot: [racket/master] Remove testing code, and failed experiment. - Sam Tobin-Hochstadt 20:10 (part) RacketCommitBot 20:14 (join) em 20:19 (quit) yoklov: Quit: bye! 20:48 (quit) zyoung: Remote host closed the connection 20:49 (join) zyoung 20:53 (quit) zyoung: Ping timeout: 244 seconds 21:01 (quit) masm: Quit: Leaving. 21:02 (quit) Fare: Quit: Leaving 21:02 (join) Kaylin 21:15 (join) zyoung 21:16 (quit) jeapostrophe: Ping timeout: 245 seconds 21:22 (quit) zyoung: Remote host closed the connection 21:34 (join) kvda 21:48 (join) jonrafkind 21:51 (join) PfhorSlayer 21:51 PfhorSlayer: Does anyone know if there are any C# bindings for racket? 22:05 (join) RacketCommitBot 22:05 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/XXOj6g 22:05 RacketCommitBot: [racket/master] ffi/unsafe: new error message convention at primitives - Matthew Flatt 22:05 RacketCommitBot: [racket/master] more corrections to the error message conversion - Matthew Flatt 22:05 (part) RacketCommitBot 22:22 (quit) Kaylin: Quit: Leaving. 22:33 (join) jeapostrophe 22:33 (quit) jeapostrophe: Changing host 22:33 (join) jeapostrophe 22:36 (quit) jao: Ping timeout: 245 seconds 22:41 (join) nilyaK 22:54 (join) jrslepak 23:11 (join) Fare 23:14 (quit) kvda: Quit: Computer has gone to sleep. 23:23 PfhorSlayer: So I'm writing a Visual Studio package that will basically give me a racket REPL window 23:24 asumu: PfhorSlayer: Neat! 23:24 PfhorSlayer: We currently have a similar tool that is an exe that basically makes a few calls to set up the environment and then just calls a racket function that does all the work (sits in a loop waiting for input, etc). Since my VS package is in C#, I wonder how much work it would be to write a managed wrapper for it 23:25 (join) jesyspa 23:25 asumu: Not sure what you mean by C# bindings. You mean like an FFI for C#? 23:25 PfhorSlayer: Probably a pretty significant amount 23:25 PfhorSlayer: the racket C api is written in C, and is unmanaged code 23:25 PfhorSlayer: you can't call that directly from managed code (C#) 23:26 asumu: Oh, I see, you want the other way around. 23:26 PfhorSlayer: what you have to do is write a wrapper around it in managed C++/CLI 23:26 PfhorSlayer: that deals with bridging the managed and unmanaged contexts 23:27 PfhorSlayer: like if you have a C function that takes a const char * string, and you want to be able to call that from C# code that has no concept of pointers to raw data 23:27 PfhorSlayer: You'd need to write a wrapper that could take the C# string and then extract the data to some memory location and convert it to something the C function could work with 23:28 asumu: Yes, basically an FFI for C#. 23:28 PfhorSlayer: what is "FFI"? 23:28 asumu: Foreign Function Interface. 23:29 PfhorSlayer: ah, okay 23:29 PfhorSlayer: I guess that would be what I need, yeah 23:29 jonrafkind: i wrote a java bridge to racket once 23:29 PfhorSlayer: actually, no 23:29 PfhorSlayer: that's not what I'm trying to do 23:29 PfhorSlayer: I don't want to call into C# from racket 23:29 PfhorSlayer: I want to execute racket code from C# 23:30 asumu: Yes, so you want a C#->Racket FFI (as opposed to the other way around) 23:30 PfhorSlayer: I want scheme_eval_string in C# :) 23:30 asumu: Can you use this? http://msdn.microsoft.com/en-us/library/aa288468(v=vs.71).aspx 23:31 PfhorSlayer: Yeah I can go by that route 23:31 PfhorSlayer: But that is just as messy 23:31 PfhorSlayer: If I write a managed wrapper for it I end up with a much cleaner interface on the C# side 23:33 PfhorSlayer: with PInvoke you have to do all of the work at the call site 23:34 PfhorSlayer: I suppose I'll just make a managed wrapper 23:34 PfhorSlayer: that way I could release it, too 23:35 PfhorSlayer: and you could start pushing people to be using racket as their scripting language for their C# projects ;)