;; Main not defined
(define (main _) (printInt 1))

;; Invalid user type signature
;; (define: (invalid-user-type-signature x)
;;     (forall [a b c] (Fun a a))
;;   x)

;; Arity mismatch for constructor
;; (define arity-mismatch-for-constructor
;;   (match (Integ 1)
;;     [(Integ foo bar) foo]))

;; Conflicting definitions of variables in pattern
;; (define conflicting-defs-in-pat
;;   (match (IntPair 1 2)
;;     [(IntPair a a) a]))

;; Undefined constructor
;; (define undef-ctor ThisCtorIsUndefined)

;; Undefined variable
;; (define undef-var this-var-is-undefined)

;; Infinite type
;; (define infinite-type (Wrap infinite-type))

;; Type mismatch
(define type-mismatch (Integ "foo"))

;; Helpers
(type (Wrap a) (Wrap a))
(type Integ (Integ Int))
(type IntPair (IntPair Int Int))