post?

 /home/chrisats/dev/ats-simple-explore/hello.dats: 834(line=45, offs=11) -- 924(line=49, offs=6): error(3): mismatch of static terms (tyleq):
 The needed term is: S2Efun(clo(0); 0; 0; ; S2Ecst(void))
 The actual term is: S2Efun(clo(0); 0; 0; ; S2Ecst(void_t0ype))
 /home/chrisats/dev/ats-simple-explore/hello.dats: 834(line=45, offs=11) -- 924(line=49, offs=6): error(3): mismatch of effects:
 The needed term is: <nil>
 The actual term is: <all>