From 7f593b52c8b99e2a8a3d0541411423f85788c5eb Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 17 Mar 2016 19:22:05 -0400 Subject: [PATCH] add more inst.mlish tests --- tapl/tests/mlish/inst.mlish | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/tapl/tests/mlish/inst.mlish b/tapl/tests/mlish/inst.mlish index 342178a..21ff08c 100644 --- a/tapl/tests/mlish/inst.mlish +++ b/tapl/tests/mlish/inst.mlish @@ -22,3 +22,13 @@ (Ok 1)) (check-type g : (→/test (Result Int String))) + +(define (h -> (Result Int Y)) + (Ok 1)) + +(check-type h : (→/test (Result Int Y))) + +(define (i -> (Result Int String)) + (h)) + +(check-type i : (→/test (Result Int String)))