racket-bitsyntax -> (planet tonyg/bitsyntax), and racket-typed-matrix -> marketplace
This commit is contained in:
parent
67b4b6b011
commit
f9a1c9a425
|
@ -1,8 +1,8 @@
|
|||
#lang racket/base
|
||||
;; Untyped struct definitions required to interoperate with typed-matrix's struct-map
|
||||
;; Untyped struct definitions required to interoperate with marketplace's struct-map
|
||||
;; See also Racket PR 13593.
|
||||
|
||||
(require racket-typed-matrix/struct-map)
|
||||
(require marketplace/struct-map)
|
||||
|
||||
(provide (struct-out domain))
|
||||
|
||||
|
|
6
api.rkt
6
api.rkt
|
@ -60,9 +60,9 @@
|
|||
(require "mapping.rkt")
|
||||
(require racket/set)
|
||||
(require racket/match)
|
||||
(require racket-typed-matrix)
|
||||
(require racket-typed-matrix/struct-map)
|
||||
(require racket-typed-matrix/support/pseudo-substruct)
|
||||
(require marketplace)
|
||||
(require marketplace/struct-map)
|
||||
(require marketplace/support/pseudo-substruct)
|
||||
|
||||
;; A DomainName is a (domain ListOf<Bytes>), representing a domain
|
||||
;; name. The head of the list is the leftmost label; for example,
|
||||
|
|
|
@ -27,7 +27,7 @@
|
|||
|
||||
(require racket/match)
|
||||
|
||||
(require racket-bitsyntax)
|
||||
(require (planet tonyg/bitsyntax))
|
||||
|
||||
;; An Opcode is a Symbol or a Number, one of the possibilities given
|
||||
;; in the following define-mapping. It represents a DNS message
|
||||
|
|
|
@ -5,14 +5,14 @@
|
|||
(require racket/match)
|
||||
(require racket/set)
|
||||
(require racket/bool)
|
||||
(require racket-bitsyntax)
|
||||
(require (planet tonyg/bitsyntax))
|
||||
(require "api.rkt")
|
||||
(require "codec.rkt")
|
||||
(require "zonedb.rkt")
|
||||
(require "resolver.rkt")
|
||||
(require racket-typed-matrix/sugar-typed)
|
||||
(require racket-typed-matrix/support/spy)
|
||||
(require racket-typed-matrix/drivers/udp)
|
||||
(require marketplace/sugar-typed)
|
||||
(require marketplace/support/spy)
|
||||
(require marketplace/drivers/udp)
|
||||
(require "tk-dns.rkt")
|
||||
|
||||
;; Instantiated with a SOA record for the zone it is serving as well
|
||||
|
|
|
@ -5,12 +5,12 @@
|
|||
(require "api.rkt")
|
||||
(require "codec.rkt")
|
||||
(require "zonedb.rkt")
|
||||
(require racket-typed-matrix/sugar-typed)
|
||||
(require racket-typed-matrix/drivers/udp)
|
||||
(require racket-typed-matrix/drivers/timer)
|
||||
(require racket-typed-matrix/support/pseudo-substruct)
|
||||
(require marketplace/sugar-typed)
|
||||
(require marketplace/drivers/udp)
|
||||
(require marketplace/drivers/timer)
|
||||
(require marketplace/support/pseudo-substruct)
|
||||
(require "tk-dns.rkt")
|
||||
(require (rename-in racket-typed-matrix/tr-struct-copy [tr-struct-copy struct-copy])) ;; PR13149
|
||||
(require (rename-in marketplace/tr-struct-copy [tr-struct-copy struct-copy])) ;; PR13149
|
||||
|
||||
(provide network-query
|
||||
(struct-out network-reply-repr)
|
||||
|
|
10
proxy.rkt
10
proxy.rkt
|
@ -5,16 +5,16 @@
|
|||
(require racket/match)
|
||||
(require racket/set)
|
||||
(require racket/bool)
|
||||
(require racket-bitsyntax)
|
||||
(require (planet tonyg/bitsyntax))
|
||||
(require "api.rkt")
|
||||
(require "codec.rkt")
|
||||
(require "zonedb.rkt")
|
||||
(require "network-query.rkt")
|
||||
(require "resolver.rkt")
|
||||
(require racket-typed-matrix/sugar-typed)
|
||||
(require racket-typed-matrix/support/spy)
|
||||
(require racket-typed-matrix/drivers/timer)
|
||||
(require racket-typed-matrix/drivers/udp)
|
||||
(require marketplace/sugar-typed)
|
||||
(require marketplace/support/spy)
|
||||
(require marketplace/drivers/timer)
|
||||
(require marketplace/drivers/udp)
|
||||
(require "tk-dns.rkt")
|
||||
|
||||
(require racket/pretty)
|
||||
|
|
|
@ -1,12 +1,12 @@
|
|||
#lang typed/racket/base
|
||||
;; DNS drivers using racket-typed-matrix.
|
||||
;; DNS drivers using marketplace.
|
||||
|
||||
(require racket/set)
|
||||
(require racket/match)
|
||||
(require "codec.rkt")
|
||||
(require racket-typed-matrix/sugar-typed)
|
||||
(require racket-typed-matrix/drivers/udp)
|
||||
(require racket-typed-matrix/support/pseudo-substruct)
|
||||
(require marketplace/sugar-typed)
|
||||
(require marketplace/drivers/udp)
|
||||
(require marketplace/support/pseudo-substruct)
|
||||
|
||||
(provide (struct-out bad-dns-packet-repr)
|
||||
BadDnsPacket bad-dns-packet bad-dns-packet?
|
||||
|
|
|
@ -7,8 +7,8 @@
|
|||
(require (only-in racket/math exact-floor exact-truncate))
|
||||
(require "api.rkt")
|
||||
(require "codec.rkt")
|
||||
(require racket-bitsyntax)
|
||||
(require (rename-in racket-typed-matrix/tr-struct-copy [tr-struct-copy struct-copy])) ;; PR13149
|
||||
(require (planet tonyg/bitsyntax))
|
||||
(require (rename-in marketplace/tr-struct-copy [tr-struct-copy struct-copy])) ;; PR13149
|
||||
|
||||
(provide CompiledZone
|
||||
zone-ref
|
||||
|
|
Loading…
Reference in New Issue