Typos
This commit is contained in:
parent
4bb6c1ddcf
commit
01bed35ca1
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../ast.rkt")
|
||||
|
||||
(provide ast-tests)
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
racket/runtime-path
|
||||
"../parse.rkt"
|
||||
"../eval.rkt")
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
#lang palsdatalog
|
||||
#lang datalog
|
||||
|
||||
parent(john,douglas).
|
||||
parent(john,douglas)?
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
racketunit/text-ui
|
||||
(require rackunit
|
||||
rackunit/text-ui
|
||||
"ast.rkt"
|
||||
|
||||
"private/lex.rkt"
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../ast.rkt"
|
||||
"util.rkt"
|
||||
"../parse.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
(planet dherman/pprint:4)
|
||||
"../parse.rkt"
|
||||
"../pretty.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
(for-template "../../eval.rkt")
|
||||
"../../parse.rkt"
|
||||
"../../private/compiler.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../../ast.rkt"
|
||||
"../../private/env.rkt")
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
parser-tools/lex
|
||||
"../../private/lex.rkt")
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../../private/subst.rkt"
|
||||
"../../ast.rkt"
|
||||
"../../private/env.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../../ast.rkt"
|
||||
"../../private/env.rkt"
|
||||
"../../private/unify.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../../ast.rkt"
|
||||
"../../private/variant.rkt")
|
||||
(require/expose "../../private/variant.rkt" (variant-terms variant-term variant-var variant? term-hash mk-literal-hash))
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../parse.rkt"
|
||||
"util.rkt"
|
||||
"../runtime.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../ast.rkt"
|
||||
"util.rkt"
|
||||
"../sexp.rkt")
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../../tool/syntax-color.rkt")
|
||||
|
||||
(provide syntax-color-tests)
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
#lang racket
|
||||
(require racketunit
|
||||
(require rackunit
|
||||
"../ast.rkt")
|
||||
|
||||
(provide test-literal test-clause)
|
||||
|
|
Loading…
Reference in New Issue
Block a user