From 2311deb396304d95af8d48e877d8be2d2daf1e26 Mon Sep 17 00:00:00 2001
From: Stephen Chang <stchang@ccs.neu.edu>
Date: Thu, 28 Aug 2014 16:22:54 -0400
Subject: [PATCH] add tests for testing extended datum

---
 stlc-tests.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/stlc-tests.rkt b/stlc-tests.rkt
index 6143d07..32d69ac 100644
--- a/stlc-tests.rkt
+++ b/stlc-tests.rkt
@@ -1,4 +1,4 @@
-#lang s-exp "stlc+define+cons-via-racket-extended.rkt"
+#lang s-exp "stlc-via-racket-extended.rkt"
 ((λ ([f : (Int → Int)] [x : Int]) (f x))
    (λ ([x : Int]) (+ x x 1))
    10)
@@ -10,6 +10,7 @@
 ; when lang is stlc: should fail with: "dont know type for literal" (but not inf loop)
 ; when lang is stlc+define+cons: should be ok
 ;#f 
+;"dsfa"
 
 ;; lang: stlc: fail
 ;; lang: stlc+define: fail