suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add tests for testing extended datum

Browse Source
This commit is contained in:
Stephen Chang 2014-08-28 16:22:54 -04:00
parent e4f788ec7a
commit 2311deb396
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
stlc-tests.rkt
View File

@ -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