Sha256: cc6eb7b5685f265135692d1203b83431df5ef089064608cf6fe4feb4286e5d0f
Contents?: true
Size: 385 Bytes
Versions: 36
Compression:
Stored size: 385 Bytes
Contents
(type u32 (primitive u32))
(type A (enum (Add (x u32) (y u32)) (Sub (x u32) (y u32))))
(type B (enum (B (z u32))))
(decl Sub (u32 u32) u32)
(extern constructor Sub sub)
(decl Add (u32 u32) u32)
(extern constructor Add add)
(decl Lower (A) B)
(rule
(Lower (A.Add x y))
(let ((z u32 (Add x y)))
(B.B z)))
(rule
(Lower (A.Sub x y))
(let ((z u32 (Sub x y)))
(B.B z)))
Version data entries
36 entries across 36 versions & 1 rubygems