提交: 773c469efe206f3b4f8cd24084249d2b33742bd9 - cammy (git)

A categorical programming language

Commit MetaInfo

• 修订版: 773c469efe206f3b4f8cd24084249d2b33742bd9 (tree)
• 时间: 2021-08-26 05:59:01
• 作者: Corbin <cds@corb...>
• Commiter: Corbin

Log Message

movelist: Remove dependency on matchable.

And remove it from the shell too.

更改概述

• modified: movelist.scm
• modified: shell.nix

差异

--- a/movelist.scm
+++ b/movelist.scm
@@ -1,5 +1,4 @@
 (import (chicken process-context))
-(import (matchable))
 (import (mini-kanren))
 
 ; Relate a Cammy expression to its input and output types.

--- a/shell.nix
+++ b/shell.nix
@@ -8,7 +8,7 @@ in pkgs.stdenv.mkDerivation {
     gdb
     # debugging stub.scm
     chicken rlwrap ] ++
-    (with chickenPackages.chickenEggs; [ srfi-189 matchable mini-kanren ]) ++ [
+    (with chickenPackages.chickenEggs; [ srfi-189 mini-kanren ]) ++ [
     # maintaining frame/
     ocamlformat
     # debugging stub.ml