Jason (jcreed) wrote,

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
Tags: taxes, work

  • (no subject)

    Some further progress cleaning up the https://xkcd.com/1360/ -esque augean stables that is my hard drive. Tomato chicken I made a couple days ago…

  • (no subject)

    migraine or flu or something? Felt very headachey and basically napped the whole day way.

  • (no subject)

    Did some personal archaeology. Helped a little with laundry. Threw some chicken, onions, tomato, stock, peppers in the slow cooker and hopefully…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded