anchor.diff:                                 ((the bool false) (@ + b (the int 0)))))))
                  (the bool true))))
   
  -(plan 7)
  +(plan 9)
   
   (is (test/letfun-1) "let rec f (a: (array int)) : int
       requires { true }
  
positive.code:   =
      let b1 : bool = b > 0 in
        match b1 with
         | true -> b
       | false -> b + 0
      end" "A toplevel function definition should be properly transformed into a let rec construct" :test #'equal-ignore-whitespace)
  
  (defun test/let-1 ()
  
negative.code:   =
      let b1 : bool = b > 0 in
  match b1 with
       | True -> b
       | False -> b + 0
      end
      in
      true" "A letfun should be properly parsed" :test #'equal-ignore-whitespace)
  