remove rule support

TODO.md

@@ -1,5 +1,3 @@
-remove rule support
-
 update to esmodule
 
 remove partech -- use hand write parser

src/lang/evaluate/evaluate.ts

@@ -2,14 +2,13 @@ import * as Actions from "../actions"
 import { Caze } from "../caze"
 import type { Env } from "../env"
 import * as Errors from "../errors"
-import { evaluateGoalExp, evaluateRuleExp } from "../evaluate"
+import { evaluateGoalExp } from "../evaluate"
 import type { Exp } from "../exp"
 import { find } from "../find"
 import { freshen } from "../freshen"
 import type { Mod } from "../mod"
 import { quote } from "../quote"
 import { refresh, refreshGoals } from "../refresh"
-import * as Rules from "../rule"
 import type { Value } from "../value"
 import * as Values from "../value"
 import {
@@ -117,13 +116,6 @@ export function evaluate(mod: Mod, env: Env, exp: Exp): Value {
       return Values.fromArray(find(exp.limit, pattern, goals))
     }
 
-    case "RuleList": {
-      return Values.Rule(
-        exp.name,
-        Rules.List(exp.rules.map((rule) => evaluateRuleExp(mod, env, rule))),
-      )
-    }
-
     case "And": {
       for (const arg of exp.exps) {
         const value = evaluate(mod, env, arg)

src/lang/evaluate/index.ts

@@ -1,3 +1,2 @@
 export * from "./evaluate"
 export * from "./evaluateGoalExp"
-export * from "./evaluateRuleExp"

src/lang/execute/execute.ts

@@ -1,11 +1,10 @@
 import * as Errors from "../errors"
-import { evaluate, evaluateRuleExp } from "../evaluate"
+import { evaluate } from "../evaluate"
 import * as Exps from "../exp"
 import { formatExp, formatValue } from "../format"
 import { match } from "../match"
 import type { Mod } from "../mod"
 import { quote } from "../quote"
-import * as Rules from "../rule"
 import type { Stmt } from "../stmt"
 import { ReturnValue } from "../stmt"
 import {
@@ -68,20 +67,6 @@ export function execute(mod: Mod, stmt: Stmt): undefined | string {
       return
     }
 
-    case "Rule": {
-      mod.define(
-        stmt.name,
-        Values.Rule(
-          stmt.name,
-          Rules.List(
-            stmt.rules.map((rule) => evaluateRuleExp(mod, mod.env, rule)),
-          ),
-        ),
-      )
-
-      return
-    }
-
     case "Import": {
       const importedMod = importMod(mod, stmt.path)
       for (const { name, alias } of stmt.bindings) {

src/lang/exp/Exp.ts

@@ -1,5 +1,4 @@
 import type { GoalExp } from "../goal-exp"
-import type { RuleExp } from "../rule-exp"
 import type { Span } from "../span"
 import type { Stmt } from "../stmt"
 
@@ -18,7 +17,6 @@ export type Exp =
   | Quote
   | Eval
   | Find
-  | RuleList
   | And
   | Or
   | Not
@@ -262,28 +260,6 @@ export function Find(
   }
 }
 
-export type RuleList = {
-  "@type": "Exp"
-  "@kind": "RuleList"
-  name: string | undefined
-  rules: Array<RuleExp>
-  span: Span
-}
-
-export function RuleList(
-  name: string | undefined,
-  rules: Array<RuleExp>,
-  span: Span,
-): RuleList {
-  return {
-    "@type": "Exp",
-    "@kind": "RuleList",
-    name,
-    rules,
-    span,
-  }
-}
-
 export type And = {
   "@type": "Exp"
   "@kind": "And"

src/lang/format/formatExp.ts

@@ -1,6 +1,6 @@
 import { indent } from "../../utils/indent"
 import type { Exp } from "../exp"
-import { formatGoalExp, formatRuleExp, formatStmt } from "../format"
+import { formatGoalExp, formatStmt } from "../format"
 
 export function formatExp(exp: Exp): string {
   switch (exp["@kind"]) {
@@ -88,11 +88,6 @@ export function formatExp(exp: Exp): string {
       )}\n}`
     }
 
-    case "RuleList": {
-      const rules = exp.rules.map(formatRuleExp)
-      return `rule {\n${indent(rules.join("\n"))}\n}`
-    }
-
     case "And": {
       const exps = exp.exps.map((arg) => formatExp(arg))
       return `and [${exps.join(", ")}]`

src/lang/format/formatStmt.ts

@@ -1,5 +1,5 @@
 import { indent } from "../../utils/indent"
-import { formatArgs, formatExp, formatGoalExp, formatRuleExp } from "../format"
+import { formatArgs, formatExp, formatGoalExp } from "../format"
 import type { ImportBinding, Stmt } from "../stmt"
 
 export function formatStmt(stmt: Stmt): string {
@@ -31,11 +31,6 @@ export function formatStmt(stmt: Stmt): string {
       )}\n}`
     }
 
-    case "Rule": {
-      const rules = stmt.rules.map(formatRuleExp)
-      return `rule ${stmt.name} {\n${indent(rules.join("\n"))}\n}`
-    }
-
     case "Import": {
       const bindings = stmt.bindings.map(formatImportBinding)
       return `import { ${bindings.join(", ")} } from "${stmt.path}"`

src/lang/format/formatValue.ts

@@ -1,5 +1,5 @@
 import { indent } from "../../utils/indent"
-import { formatGoal, formatRule, formatStmt } from "../format"
+import { formatGoal, formatStmt } from "../format"
 import type { Value } from "../value"
 
 export function formatValue(value: Value): string {
@@ -69,10 +69,6 @@ export function formatValue(value: Value): string {
       return `$TypeConstraint(${value.name})`
     }
 
-    case "Rule": {
-      return `$Rule(${formatRule(value.rule)})`
-    }
-
     case "Fn": {
       /**
          A function should be opaque (like in scheme),

src/lang/format/index.ts

@@ -1,7 +1,5 @@
 export * from "./formatExp"
 export * from "./formatGoal"
 export * from "./formatGoalExp"
-export * from "./formatRule"
-export * from "./formatRuleExp"
 export * from "./formatStmt"
 export * from "./formatValue"

src/lang/globals/useGlobals.ts

@@ -6,7 +6,6 @@ import { aboutNull } from "./aboutNull"
 import { aboutNumber } from "./aboutNumber"
 import { aboutObject } from "./aboutObject"
 import { aboutRelation } from "./aboutRelation"
-import { aboutRule } from "./aboutRule"
 import { aboutString } from "./aboutString"
 import { aboutTerm } from "./aboutTerm"
 import { GlobalStore } from "./GlobalStore"
@@ -22,7 +21,6 @@ export function useGlobals(): GlobalStore {
 
   aboutGoal(globals)
   aboutRelation(globals)
-  aboutRule(globals)
 
   aboutNull(globals)
   aboutBoolean(globals)

src/lang/quote/quote.ts

@@ -97,12 +97,6 @@ export function quote(mod: Mod, env: Env, exp: Exp): Value {
       })
     }
 
-    case "RuleList": {
-      throw new Errors.LangError(`[quote] can not handle Exps.RuleList`, {
-        span: exp.span,
-      })
-    }
-
     case "And": {
       throw new Errors.LangError(`[quote] can not handle Exps.And`, {
         span: exp.span,

src/lang/refresh/refresh.ts

@@ -68,7 +68,6 @@ export function refresh(
 
     case "Relation":
     case "TypeConstraint":
-    case "Rule":
     case "Fn":
     case "WithConstraints":
     case "Primitive":