From 9a61542e8aadeb6bf6627c07364e24a226d00913 Mon Sep 17 00:00:00 2001
From: Masaya Tojo <masaya@tojo.tokyo>
Date: Sun, 24 Jun 2018 12:51:24 +0900
Subject: Add contract

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

diff --git a/main.rkt b/main.rkt
index 8bf8222..95829ef 100644
--- a/main.rkt
+++ b/main.rkt
@@ -1,4 +1,5 @@
 #lang racket
+(require racket/contract)
 (require pict)
 
 (define CELL-SIZE 30)
@@ -111,4 +112,4 @@
   (define-values (result height-list)
     (pict-sexp/helper sexp '() (λ () (error "pict-sexp: implementation error"))))
   result)
-(provide pict-sexp)
+(provide/contract [pict-sexp (any/c . -> . pict?)])
-- 
cgit v1.2.3