Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Apr. 17th, 2006|09:31 pm]
[Tags|, ]

Finished my taxes on time after all, and got a sweet $800 refund; mad typesprops to lincoln3 for pointing out how I could get my W2s online.

Re research work, got some tests up and running against my little type-checker. One is big enough to make it fail finally!
- OS.FileSys.chDir "/home/jcreed/sb/chex/"; CM.make "sources.cm";
val it = () : unit
[scanning sources.cm]
[parsing (sources.cm):test.sml]
[compiling (sources.cm):test.sml]
[code: 5928, data: 316, env: 324 bytes]
t : type.
k : t.
a : (t -> type).
e = e
b : ({x:t} (a x -> type)).
c : (({a:world} (({b:world} (((t -o t) @ b) -> (t @ a))) -> (t @ e))) -> type).
spine check error
[New bindings added.]
val it = true : bool

[User Picture]From: pepperedjane
2006-04-18 12:58 pm (UTC)
btw, not really knowing your tax history but given that you mentioned 1040ez forms before, it might work for you to change the number of exemptions (?) on your W4 (via the nifty site lincoln3 pointed you too) so you get less money withheld each month. I mean, think of the mad cash (and additional money for savings you'll have).
(Reply) (Thread)
[User Picture]From: jcreed
2006-04-18 02:09 pm (UTC)
I think you made a good guess, though; talking to tom it seems likely that since I first worked for CMU as a TA for category theory when I was an undergrad, it probably "locked in" my status as unable to claim myself as a dependent, since my parents were doing so at the time.
(Reply) (Parent) (Thread)