(module compare_primitives_smoke
  (fn main
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (seq (seq (app print (match (app compare 1 2)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare 1 1)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare 2 1)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare false true)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare false false)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare true false)
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare "a" "b")
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (seq (app print (match (app compare "a" "a")
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")) (seq (app print (match (app compare "b" "a")
      (case (pat-ctor LT) 1)
      (case (pat-ctor EQ) 2)
      (case (pat-ctor GT) 3))) (do io/print_str "\n")))))))))))))
