Converting away from racket to racket/base

collects/datalog/ast.rkt

@@ -1,4 +1,6 @@
-#lang racket
+#lang racket/base
+(require racket/contract
+         racket/match)
 
 (define srcloc/c
   (or/c syntax?

collects/datalog/eval.rkt

@@ -1,5 +1,6 @@
-#lang racket
+#lang racket/base
 (require racket/list
+         racket/contract
          "ast.rkt"
          "pretty.rkt"
          "runtime.rkt")

collects/datalog/main.rkt

@@ -1,4 +1,4 @@
-#lang racket
+#lang racket/base
 (require "runtime.rkt"
          "serialize.rkt"
          "stx.rkt")

collects/datalog/parse.rkt

@@ -1,6 +1,8 @@
-#lang racket
+#lang racket/base
 (require parser-tools/lex
          parser-tools/yacc
+         racket/list
+         racket/contract
          "private/lex.rkt"
          "ast.rkt")
 

collects/datalog/pretty.rkt

@@ -1,5 +1,8 @@
-#lang racket
-(require "private/pprint.rkt"
+#lang racket/base
+(require racket/match
+         racket/list
+         racket/contract
+         "private/pprint.rkt"
          "ast.rkt")
 
 (define (format-datum s)

collects/datalog/private/env.rkt

@@ -1,5 +1,7 @@
-#lang racket
-(require "../ast.rkt")
+#lang racket/base
+(require racket/contract
+         racket/list
+         "../ast.rkt")
 
 (define env/c
   (and/c hash? immutable?))

collects/datalog/private/lex.rkt

@@ -1,4 +1,4 @@
-#lang racket
+#lang racket/base
 (require parser-tools/lex
          (prefix-in : parser-tools/lex-sre))
 

collects/datalog/private/pprint.rkt

@@ -1,4 +1,5 @@
-#lang racket
+#lang racket/base
+(require racket/list)
 (provide (all-defined-out))
 
 (define (text s) s)

collects/datalog/private/subst.rkt

@@ -1,5 +1,8 @@
-#lang racket
-(require "../ast.rkt"
+#lang racket/base
+(require racket/match
+         racket/function
+         racket/contract
+         "../ast.rkt"
          "env.rkt")
 
 (define (subst-term env t)

collects/datalog/private/unify.rkt

@@ -1,5 +1,8 @@
-#lang racket
-(require "../ast.rkt"
+#lang racket/base
+(require racket/match
+         racket/list
+         racket/contract
+         "../ast.rkt"
          "env.rkt")
 
 (define (chase env t)

collects/datalog/private/variant.rkt

@@ -1,5 +1,9 @@
-#lang racket
-(require "../ast.rkt"
+#lang racket/base
+(require racket/list
+         racket/match
+         racket/contract
+         racket/dict
+         "../ast.rkt"
          "env.rkt")
 
 ; Variants

collects/datalog/runtime.rkt

@@ -1,5 +1,9 @@
-#lang racket
-(require "ast.rkt"
+#lang racket/base
+(require racket/contract
+         racket/list
+         racket/match
+         racket/function
+         "ast.rkt"
          "private/env.rkt"
          "private/subst.rkt"
          "private/unify.rkt"

collects/datalog/stx.rkt

@@ -1,4 +1,4 @@
-#lang racket
+#lang racket/base
 (require (for-syntax syntax/parse
                      racket/local
                      racket/function

collects/racklog/main.rkt

@@ -1,3 +1,3 @@
-#lang racket
+#lang racket/base
 (require "racklog.rkt")
 (provide (all-from-out "racklog.rkt"))

collects/racklog/unify.rkt

@@ -1,4 +1,10 @@
-#lang racket
+#lang racket/base
+(require (for-syntax racket/base)
+         racket/list
+         racket/match
+         racket/function
+         racket/vector
+         racket/set)
 (provide (all-defined-out))
 
 ; same hash