Permalink
Browse files

add top-level driver

  • Loading branch information...
1 parent bfaa592 commit 48466ff20c0966a8ddf33b8a559d6ded32628210 @samth committed Apr 20, 2012
Showing with 13 additions and 0 deletions.
  1. +13 −0 constraints.rkt
View
@@ -140,6 +140,19 @@
(typ/d Γ (import m x) (ρ *) (C ... (:= ρ (dot σ *))))]
)
+(define-judgment-form js
+ #:mode (typ I O O)
+ #:contract (typ (module d ...) γ Cs)
+
+ [(typ/m () (module d ...) γ Cs)
+ ---
+ (typ (module d ...) γ Cs)])
+
+(define-syntax-rule (gen d ...)
+ (judgment-holds (typ (module d ...) γ_1 Cs_1) (γ_1 Cs_1)))
+
+(gen (let x 1))
+

0 comments on commit 48466ff

Please sign in to comment.