patch ddc-head: ddc-core: proper error message when field annot type does not match actual field type

Wed, 28 Dec 2011 20:48:16 -0800 

Wed Dec 28 23:47:44 EST 2011  Ben Lippmeier <[email protected]>
  * ddc-core: proper error message when field annot type does not match actual 
field type

    M ./packages/ddc-core/DDC/Core/Check/CheckError.hs -1 +11
    M ./packages/ddc-core/DDC/Core/Check/CheckExp.hs -4 +4
    M ./test/98-DDCi-core/20-Typing/60-Case/Test.dcx +13
    M ./test/98-DDCi-core/20-Typing/60-Case/Test.stdout.check -1 +15

-- 
Disciple-Cafe mailing list
http://groups.google.com/group/disciple-cafe

Reply via email to