www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README
commit 7f593b52c8b99e2a8a3d0541411423f85788c5eb
parent b65c4adc94a3888517774bcfb888fce06e4de6e5
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Thu, 17 Mar 2016 19:22:05 -0400

add more inst.mlish tests

Diffstat:

Mtapl/tests/mlish/inst.mlish | 10++++++++++


1 file changed, 10 insertions(+), 0 deletions(-)

diff --git 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)))