blob: d27a8eb463187d1854ef703dd8cf350ae8050536 [file] [log] [blame]
(:*******************************************************:)
(: Test: K-ValCompTypeChecking-38 :)
(: Written by: Frans Englich :)
(: Date: 2006-10-05T18:29:36+02:00 :)
(: Purpose: Combine error() with a value comparison, testing handling of the 'none' type. :)
(:*******************************************************:)
3 eq (error(), 3)