Conversation with #inferno at Sat Apr  2 10:15:40 2011 on powerman-asdf@irc.freenode.net (irc)
(12:28:55) hotaru2k3 left the room (quit: Ping timeout: 246 seconds).
(12:57:42) mjl-: yo
(12:58:01) mjl-: GriffenJBS: you cannot cast (at least not in modern inferno)
(12:58:12) mjl-: but there is support for polymorphism
(12:58:36) mjl-: you can specify that a function works for any type T
(12:58:47) mjl-: that must be a ref type (so no ints)
(12:58:50) mjl-: or tuples
(12:58:59) mjl-: or non-ref adt's (i think)
(12:59:02) mjl-: so that's a bit annoying
(12:59:30) mjl-: if you call functions on that type T, you have to specify that in the function definition
(12:59:59) mjl-: the classical example is rev(), to reverse a list:  rev[T](l: list of T): list of T { r: list of T; for(; l != nil; l = tl l) r = hd l::r; return r }
(13:00:06) mjl-: wow, that's unreadable
(13:02:06) mjl-: GriffenJBS: for an example with specifying functions that the adt must have, look at module/sexprs.m
(13:02:18) mjl-: the read function in adt Sexp
(13:04:24) mjl-: uriel: were you able to run emuq?
(13:05:01) mjl-: i'm wondering whether i should go through the trouble of making emuq's for linux
(13:05:14) mjl-: i bet i'ld have to make binaries for multiple distro's...
(15:06:05) KBme left the room (quit: Excess Flood).
(15:07:43) KBme [~KBme@9angled-2-pt.tunnel.tserv5.lon1.ipv6.he.net] entered the room.
(15:19:16) uriel: just tried it out, didn't get it to do much :/
(15:19:39) uriel: it said it created the vacinit directory
(15:19:52) uriel: but that is about it
(15:19:58) uriel: but I got to sleep now :( sorry
(15:35:17) mjl-: sleep well :)
(15:35:43) mjl-: you have to hit return, or double click the "config" in the list on the left (which should have an entry "builtin")
(15:35:56) mjl-: that will make it "boot" that config.
(15:36:34) mjl-: you can update a config by moving focus to the url bar at the top-center and hitting return.  tab switches the focus.  after fetching, the focus will be at the listbox on the left again
(15:37:10) mjl-: if you start emuq, it puts focus on the most recently used config
(15:37:46) mjl-: it's all meant to be easy to use.  just hitting return should almost always be enough.  updating can be done by the sequence "tab return return"
(15:41:07) mjl-: oh, and the vacinit directory that it created is $home/lib/vacinit/.  that's where it stores the local venti cache (in files tindex and tdata).  and fetched configs.  and perhaps more in the future.
(16:04:49) Fish- [~Fish@exo3753.pck.nerim.net] entered the room.
(16:07:29) Fish left the room (quit: Ping timeout: 240 seconds).
(17:10:45) tensai_cirno left the room (quit: Quit: Leaving).
(18:39:15) KBme left the room (quit: Ping timeout: 260 seconds).
(19:19:18) KBme [~KBme@9angled-2-pt.tunnel.tserv5.lon1.ipv6.he.net] entered the room.
(19:31:40) Fish [~Fish@bus77-2-82-244-150-190.fbx.proxad.net] entered the room.
(21:23:50) jas: mjl: you've been busy
(22:30:34) mjl-: yeah :)
(22:41:21) bugQ [~bug@c-67-171-127-76.hsd1.ut.comcast.net] entered the room.
(23:43:15) bugQ left the room (quit: Ping timeout: 246 seconds).
(23:50:16) bugQ [~bug@c-67-171-127-76.hsd1.ut.comcast.net] entered the room.
(23:55:16) perdiy left the room (quit: Ping timeout: 246 seconds).
(23:55:52) perdix [~mkhl@sxemacs/devel/perdix] entered the room.
(00:10:44) Fish left the room (quit: Quit: So Long, and Thanks for All the Fish).
(01:11:53) bugQ left the room (quit: Read error: Operation timed out).
(01:18:56) bugQ [~bug@c-67-171-127-76.hsd1.ut.comcast.net] entered the room.
(03:21:54) mjl-: http://code.google.com/p/inferno-os/issues/detail?id=256 ← patch with write support for secstore
(03:22:25) mjl-: and that's enough for today o/~~
(03:24:28) jas: dang, and I just thought up a suggestion for wm/run::
(03:24:55) jas: arrow up/down navigating history of commands sent
(03:26:00) mjl-: jas: that's a good one, will add that
(03:26:09) mjl-: tomorrow ☺
(03:26:29) jas: no rush
(03:27:37) mjl-: i've got more changes to make to wm/run
(03:28:01) mjl-: its annoying that it reads text from the input entry for a programs stdin, and then discards it when the program exits
(03:28:18) mjl-: which happens if you "cd x/y/z" and "ls" quickly
(03:28:31) mjl-: or some other sequence of common commands that take just a bit too long to finish
(03:29:00) jas: so far it has eased some of my mangled dev environment as I edit source outside of Inferno, but of course use mk inside an emu instance
(03:30:40) jas: maybe that's just because Inferno's Acme seems to kill emu every once in a while (on Linux & OS X, haven't tried Windows)
(03:31:03) mjl-: ohh
(03:31:06) mjl-: how does it do that?
(03:31:12) mjl-: the dreaded X11 errors?
(03:31:28) jas: I've been getting a lot fewer of those lately
(03:32:02) jas: they still occur when running VMware on another screen and mousing back and forth a lot
(03:32:32) jas: the Acme death doesn't trigger the X11 case, it just kills emu
(03:33:31) jas: I'll need to take the time to set up gdb on the many procs that need to be tracked to trap the crash
(04:07:06) eno left the room (quit: Read error: Operation timed out).
(04:07:19) eno [~eno@nslu2-linux/eno] entered the room.
(04:43:32) bugQ left the room (quit: Ping timeout: 246 seconds).
(04:50:37) bugQ [~bug@c-67-171-127-76.hsd1.ut.comcast.net] entered the room.
(05:13:49) perdix left the room (quit: Ping timeout: 252 seconds).
(05:20:40) perdix [~mkhl@sxemacs/devel/perdix] entered the room.
(07:52:54) bugQ left the room (quit: Remote host closed the connection).
(10:13:37) The account has disconnected and you are no longer in this chat. You will be automatically rejoined in the chat when the account reconnects.