[<<][meta][>>][..]
Sat Dec 31 11:35:47 EST 2011

Next: failing test cases

*Main> t19
*** Exception: _unatom Car (Ref (Var {varType = Type (ATree (ACons (Type (ATree (AAtom (Type AFloat 1))) 0) (Type (ATree (AAtom (Type AFloat 1))) 0))) 0, varName = "a0"}))

As before.  What does it mean?

Yes that makes sense.  This is a virtual struct that's deconstructed
into a variable again.  Just missing code.

  Type (ATree (ACons (Type (ATree (AAtom (Type AFloat 1))) 0) 
                     (Type (ATree (AAtom (Type AFloat 1))) 0))) 0

This probably requires an Unatom constructor in Term.  Indeed.  I had
Atom, which is semantically a constructor not a destructor (accessor).
Replacing this and propagating all the way down fixed it.



[Reply][About]
[<<][meta][>>][..]