#lang racket' ->
#lang racket/base' conversions in drracket and in redex.
This commit is contained in:
parent
39a0ab60a7
commit
26045a27fb
|
@ -1,13 +1,18 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(define-syntax (test stx) #'(begin)) ;; TODO: convert my test into DrRacket's test framework
|
||||
(require ; gmarceau/test
|
||||
parser-tools/lex
|
||||
(require (for-syntax racket/base)
|
||||
racket/list
|
||||
racket/string
|
||||
racket/contract
|
||||
racket/match
|
||||
parser-tools/lex
|
||||
(prefix-in : parser-tools/lex-sre)
|
||||
(rename-in srfi/26 [cut //])
|
||||
(only-in srfi/1 break)
|
||||
unstable/contract)
|
||||
|
||||
(define-syntax (test stx) #'(begin)) ;; TODO: convert my test into DrRacket's test framework
|
||||
|
||||
;; An error message has many fragments. The fragments will be concatenated
|
||||
;; before being presented to the user. Some fragment are simply string.
|
||||
(struct msg-fragment:str (str) #:transparent)
|
||||
|
|
|
@ -1,5 +1,10 @@
|
|||
#lang racket
|
||||
(require racket/gui/base
|
||||
#lang racket/base
|
||||
|
||||
(require racket/list
|
||||
racket/class
|
||||
racket/match
|
||||
racket/pretty
|
||||
racket/gui/base
|
||||
framework/private/logging-timer)
|
||||
|
||||
#|
|
||||
|
|
|
@ -1,4 +1,8 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require (except-in racket/base compile)
|
||||
racket/function
|
||||
racket/match)
|
||||
(require (except-in redex make-bind plug))
|
||||
(require "match.rkt")
|
||||
(require racket/set)
|
||||
|
|
|
@ -1,6 +1,10 @@
|
|||
#lang racket
|
||||
#lang racket/base
|
||||
|
||||
(require (for-syntax "rewrite-side-conditions.rkt")
|
||||
(require racket/list
|
||||
racket/contract
|
||||
racket/set
|
||||
racket/match
|
||||
(for-syntax "rewrite-side-conditions.rkt")
|
||||
"match-a-pattern.rkt"
|
||||
"matcher.rkt"
|
||||
"extract-conditions.rkt")
|
||||
|
|
Loading…
Reference in New Issue
Block a user