[CLOSED] TC2: tests2/fixme_take-put-return-fail.cdsl2

[zilinc]

Issue by che283
Fri Sep 5 13:56:03 2014
Originally opened as https://github.csiro.au/ts-filesystems/Cogent/issues/17

---

NotASubtypeAlts (RT (TVariant (fromList [("Fail",RT (TTuple [RT (TCon "U32" []),RT (TRecord [("a3",RT (TTake [] (RT (TRecord [("a2",RT (TCon "U32" []))])))),("b",RT (TTake [] (RT (TRecord [("a1",RT (TCon "U32" []))]))))])])),("Success",RT (TRecord [("a3",RT (TTake [] (RT (TRecord [("a2",RT (TCon "U32" []))])))),("b",RT (TTake [] (RT (TRecord [("a1",RT (TCon "U32" []))]))))]))]))) (RT (TVariant (fromList [("Fail",RT (TTuple [RT (TCon "U32" []),RT (TTake [] (RT (TRecord [("a3",RT (TCon "T2" [])),("b",RT (TCon "T1" []))])))])),("Success",RT (TTake [] (RT (TRecord [("a3",RT (TCon "T2" [])),("b",RT (TCon "T1" []))]))))])))
  InDefinition "pass_take-put-return-fail.cdsl2.tmp" (line 9, column 1) (FunDef "xxx" (PT [] (LocType 

[zilinc]

Comment by che283
Fri Sep 5 14:00:06 2014

---

May be a duplicate of #13

[zilinc]

Comment by che283
Fri Sep 5 14:11:48 2014

---

Also, in TC1, type synonyms are unfolded in the AST, which is unwanted while converting to cdsl2. As a consequence, in the auto-generated CDSL2 code, user may need to manually fold them back....

[zilinc]

Comment by loconnor
Fri Sep 12 16:54:54 2014

---

Duplicate of #11