From b52f220dccea3adff4778a722c63869c82af4f45 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 22 Oct 2015 17:12:51 -0400 Subject: [PATCH] occurrence: use tups instead of records --- tapl/stlc+occurrence.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tapl/stlc+occurrence.rkt b/tapl/stlc+occurrence.rkt index df06d6e..85dec4f 100644 --- a/tapl/stlc+occurrence.rkt +++ b/tapl/stlc+occurrence.rkt @@ -1,7 +1,7 @@ #lang s-exp "typecheck.rkt" (extends "stlc+sub.rkt" #:except #%datum) -;(extends "stlc+tup.rkt" #:except + #%datum and) -(extends "stlc+cons.rkt" #:except + #%datum and) +(extends "stlc+cons.rkt" #:except + #%datum and tup × proj ~×) +(reuse tup × proj ~× #:from "stlc+tup.rkt") ;; Calculus for occurrence typing. ;; - Types can be simple, or sets of simple types