suzanne.soy/scribble-enhanced
1
0
Fork 0
Code Issues1 Pull Requests1 Actions Packages Projects Releases Wiki Activity

Cleaned up.

Browse Source
This commit is contained in:
Georges Dupéron 2016-02-26 23:46:42 +01:00
parent ac832b3157
commit 9ff224a73b
3 changed files with 0 additions and 124 deletions

40
graph-lib/graph/__DEBUG_graph6B.rkt
View File

@ -1,40 +0,0 @@
#lang typed/racket
(require "graph-6-rich-returns.lp2.rkt"
"../lib/low.rkt"
"graph.lp2.rkt"
"get.lp2.rkt"
"../type-expander/type-expander.lp2.rkt"
(for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
"../type-expander/multi-id.lp2.rkt"
"structure.lp2.rkt" ; debug
"variant.lp2.rkt" ; debug
"fold-queues.lp2.rkt"; debug
"rewrite-type.lp2.rkt"; debug
"meta-struct.rkt"; debug
racket/splicing
(for-syntax syntax/parse)
(for-syntax syntax/parse/experimental/template))
(define-syntax (d-exp stx)
(syntax-case stx ()
[(_ T)
(displayln (expand-type #'T))
#'(begin (: x T)
(define x 1))]))
(define-syntax (frozen stx)
(syntax-parse stx
[(_ def a)
#'(begin
(splicing-let ()
def
(d-exp a)))]))
(define-syntax (goo stx)
(syntax-case stx ()
[(_ T)
#`(frozen (define-type-expander (#,(datum->syntax #'T #'te) stx) #'Number)
T)]))
(goo te)

42
graph-lib/graph/__DEBUG_graph6C.rkt
View File

@ -1,42 +0,0 @@
#lang typed/racket
(require "graph-6-rich-returns.lp2.rkt"
"../lib/low.rkt"
"graph.lp2.rkt"
"get.lp2.rkt"
"../type-expander/type-expander.lp2.rkt"
(for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
"../type-expander/multi-id.lp2.rkt"
"structure.lp2.rkt" ; debug
"variant.lp2.rkt" ; debug
"fold-queues.lp2.rkt"; debug
"rewrite-type.lp2.rkt"; debug
"meta-struct.rkt"; debug
racket/splicing
(for-syntax syntax/parse)
(for-syntax syntax/parse/experimental/template))
(define-syntax (d-exp stx)
(syntax-case stx ()
[(_ a) #'(begin (define x a) x)]))
(define-syntax (frozen stx)
(syntax-parse stx
[(_ def val a)
#`(begin (let ((#,(datum->syntax #'a (syntax->datum #'def)) val))
(d-exp a)))]))
(define-syntax (goo stx)
(syntax-case stx ()
[(_ a)
#`(frozen #,(datum->syntax #'a #'te) 9
a)]))
(goo te)
(define-syntax (lake stx)
(syntax-parse stx
[(_ val a)
#`(let ((#,(datum->syntax stx 'te) val)) a)]))
(lake 3 te)

42
graph-lib/graph/__DEBUG_graph6D.rkt
View File

@ -1,42 +0,0 @@
#lang typed/racket
(require "graph-6-rich-returns.lp2.rkt"
"../lib/low.rkt"
"graph.lp2.rkt"
"get.lp2.rkt"
"../type-expander/type-expander.lp2.rkt"
(for-syntax (submod "../type-expander/type-expander.lp2.rkt" expander))
"../type-expander/multi-id.lp2.rkt"
"structure.lp2.rkt" ; debug
"variant.lp2.rkt" ; debug
"fold-queues.lp2.rkt"; debug
"rewrite-type.lp2.rkt"; debug
"meta-struct.rkt"; debug
racket/splicing
(for-syntax syntax/parse)
(for-syntax syntax/parse/experimental/template))
(define-syntax (d-exp stx)
(syntax-case stx ()
[(_ a) #'(begin (define x a) x)]))
(define-syntax (frozen stx)
(syntax-parse stx
[(_ def val a)
#`(begin (define def val) ;#,(datum->syntax #'a (syntax->datum #'(define def val)))
(d-exp a))]))
(define-syntax (goo stx)
(syntax-case stx ()
[(_ a)
#`(frozen #,(datum->syntax #'a 'te) 9
a)]))
(goo te)
(define-syntax (lake stx)
(syntax-parse stx
[(_ val a)
#`(let ((#,(datum->syntax stx 'tea) val)) a)]))
(lake 3 tea)