From a3076b864899a1d7040b41fafa3390deeffb6a96 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Sat, 22 Mar 2008 02:11:50 +0000 Subject: [PATCH] certify in one more place svn: r9058 --- collects/scheme/match/parse-legacy.ss | 2 +- collects/scheme/match/parse.ss | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/scheme/match/parse-legacy.ss b/collects/scheme/match/parse-legacy.ss index 0dda80ffde..7cd585bfdb 100644 --- a/collects/scheme/match/parse-legacy.ss +++ b/collects/scheme/match/parse-legacy.ss @@ -72,7 +72,7 @@ [acc (reverse acc)] ;; remove the first element, if it's #f [acc (cond [(null? acc) acc] [(not (car acc)) (cdr acc)] [else acc])]) - (make-Struct id pred (get-lineage #'s) acc + (make-Struct id pred (get-lineage (cert #'s)) acc (if (eq? '_ (syntax-e #'pats)) (map make-Dummy acc) (let* ([ps (syntax->list #'pats)]) diff --git a/collects/scheme/match/parse.ss b/collects/scheme/match/parse.ss index 499f7435c3..a7f3e83ef0 100644 --- a/collects/scheme/match/parse.ss +++ b/collects/scheme/match/parse.ss @@ -194,7 +194,7 @@ [acc (reverse acc)] ;; remove the first element, if it's #f [acc (cond [(null? acc) acc] [(not (car acc)) (cdr acc)] [else acc])]) - (make-Struct id pred (get-lineage #'s) acc + (make-Struct id pred (get-lineage (cert #'s)) acc (if (eq? '_ (syntax-e #'pats)) (map make-Dummy acc) (let* ([ps (syntax->list #'pats)])