axic opened this issue 6 years ago · 0 comments
define f (Bool) -> Bool case (a) x :- (< a 3) (= x a).
crashes as
thread 'main' panicked at '', src/ast.rs:288:18