-
Notifications
You must be signed in to change notification settings - Fork 1
/
base.ss
36 lines (28 loc) · 1.15 KB
/
base.ss
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
#lang scheme/base
(require (planet untyped/unlib:3/require))
(define-library-aliases schemeunit (planet schematics/schemeunit:3) #:provide)
(define-library-aliases unlib (planet untyped/unlib:3) #:provide)
(require scheme/contract
scheme/match
scheme/path
srfi/19
srfi/26
(planet untyped/mirrors:2)
(planet untyped/unlib:3/debug)
(planet untyped/unlib:3/exn))
; Configuration ----------------------------------
; (parameter (U natural #f))
(define max-function-arity (make-parameter 29))
(define max-function-nesting-depth (make-parameter 8))
; Provide statements -----------------------------
(provide (all-from-out scheme/contract
scheme/match
scheme/path
srfi/19
srfi/26
(planet untyped/mirrors:2)
(planet untyped/unlib:3/debug)
(planet untyped/unlib:3/exn)))
(provide/contract
[max-function-arity (parameter/c (or/c natural-number/c #f))]
[max-function-nesting-depth (parameter/c (or/c natural-number/c #f))])