~jojo/Carth

ref: ce0a08ab58e43a1f8d170ff050964c26e0893231 Carth/test/tests/bad/transmute-size-mismatch2.carth -rw-r--r-- 159 bytes
ce0a08abJoJo update TODO 4 months ago
                                                                                
1
2
3
4
5
6
7
8
9
;; foo should fail here, not bar

(define: (foo a)
    (forall (a b) (Fun a b))
  (transmute a))

(define: (bar Unit)
    (Fun Unit Int8)
  (foo (: 123 Int)))