Jason (jcreed) wrote,
Jason
jcreed

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
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 2 comments