From e2a0724636064042e5b7e53965d9185f02ace9fb Mon Sep 17 00:00:00 2001 From: Max New Date: Sun, 23 Feb 2014 11:40:14 -0600 Subject: [PATCH] Add enum to delim-cont bench --- .../redex/examples/benchmark/delim-cont/1.diff | 6 +++--- .../redex/examples/benchmark/delim-cont/2.diff | 6 +++--- .../redex/examples/benchmark/delim-cont/3.diff | 6 +++--- .../redex/examples/benchmark/delim-cont/delim-cont-1.rkt | 6 +++++- .../redex/examples/benchmark/delim-cont/delim-cont-2.rkt | 6 +++++- .../redex/examples/benchmark/delim-cont/delim-cont-3.rkt | 6 +++++- .../redex/examples/benchmark/delim-cont/delim-cont-base.rkt | 6 +++++- 7 files changed, 29 insertions(+), 13 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/1.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/1.diff index 67f1a494b8..6ce90cd4ef 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/1.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/1.diff @@ -5,11 +5,11 @@ > > ;; note: this bug was found and fixed during the development of this model > ;; with commit: 4b848777d12a2e5b59b43c8e77f9f68b747d1151 -223c226 +224c227 < (monitor (list/c ctc) (ccm mk t) k l j) --- > (monitor ctc (ccm mk t) k l j) -325a329 +326a330 > -936a941 +937a942 > diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/2.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/2.diff index 86d6b69d20..ce9150e071 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/2.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/2.diff @@ -2,12 +2,12 @@ < (define the-error "no-error") --- > (define the-error "list/c contracts aren't applied properly in the cons case") -205c205 +206c206 < (--> (monitor (list/c ctc) (cons v_1 v_2) k l j) --- > (--> (monitor ctc (cons v_1 v_2) k l j) -325a326 +326a327 > -936a938,939 +937a939,940 > > diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff index b93bda9abe..769ad0d3ae 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/3.diff @@ -2,12 +2,12 @@ < (define the-error "no-error") --- > (define the-error "the function argument to call/comp has the wrong type") -325a326 +326a327 > -463c464 +464c465 < [(tc Γ Σ e_1 (→ (→ t_3 t_2) t_3)) --- > [(tc Γ Σ e_1 (→ t_2 t_3)) -936a938,939 +937a939,940 > > diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt index c70376ea7f..b71b148fe3 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-1.rkt @@ -5,7 +5,8 @@ ;; note: this bug was found and fixed during the development of this model ;; with commit: 4b848777d12a2e5b59b43c8e77f9f68b747d1151 -(require redex/reduction-semantics) +(require redex/reduction-semantics + math/base) (provide (all-defined-out)) @@ -939,3 +940,6 @@ (define (type-check e) (judgment-holds (tc · · ,e t))) + +(define (generate-enum-term) + (generate-term abort-lang e #:i-th (random-natural #e10e200))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt index a82c0b2e84..a67b416f08 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-2.rkt @@ -2,7 +2,8 @@ (define the-error "list/c contracts aren't applied properly in the cons case") -(require redex/reduction-semantics) +(require redex/reduction-semantics + math/base) (provide (all-defined-out)) @@ -937,3 +938,6 @@ (judgment-holds (tc · · ,e t))) + +(define (generate-enum-term) + (generate-term abort-lang e #:i-th (random-natural #e10e200))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt index 2524d0e34f..cc45f2cf7e 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-3.rkt @@ -2,7 +2,8 @@ (define the-error "the function argument to call/comp has the wrong type") -(require redex/reduction-semantics) +(require redex/reduction-semantics + math/base) (provide (all-defined-out)) @@ -937,3 +938,6 @@ (judgment-holds (tc · · ,e t))) + +(define (generate-enum-term) + (generate-term abort-lang e #:i-th (random-natural #e10e200))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt index 41d814bd90..9144cc383f 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/delim-cont/delim-cont-base.rkt @@ -2,7 +2,8 @@ (define the-error "no-error") -(require redex/reduction-semantics) +(require redex/reduction-semantics + math/base) (provide (all-defined-out)) @@ -934,3 +935,6 @@ (define (type-check e) (judgment-holds (tc · · ,e t))) + +(define (generate-enum-term) + (generate-term abort-lang e #:i-th (random-natural #e10e200)))