Skip to content

Commit

Permalink
Don't assume we always get a module
Browse files Browse the repository at this point in the history
  • Loading branch information
joshkunz committed Apr 1, 2015
1 parent dd53496 commit 396bf14
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions proj3/spec-check.rkt
Original file line number Diff line number Diff line change
Expand Up @@ -71,5 +71,7 @@
[else (list #t else)]))

(define (in-spec?/edit tree)
(match-let ([(list in? module) (in-spec?-module/edit (car tree))])
(list in? (list module))))
(if (not (null? tree))
(match-let ([(list in? module) (in-spec?-module/edit (car tree))])
(list in? (list module)))
'(#f ())))

0 comments on commit 396bf14

Please sign in to comment.