From b6057fcbbec1545c50485a60d9a6dc02852be875 Mon Sep 17 00:00:00 2001 From: Artem Gureev Date: Wed, 12 Jul 2023 23:01:25 +0800 Subject: [PATCH] Remove Mention of hom-cod Removes mention of the removed hom-cod function in order to allow docs to load properly. --- src/lambda/lambda.lisp | 2 +- src/lambda/package.lisp | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/lambda/lambda.lisp b/src/lambda/lambda.lisp index 3ee0292d1..95a068a18 100644 --- a/src/lambda/lambda.lisp +++ b/src/lambda/lambda.lisp @@ -56,7 +56,7 @@ while (ann-term1 (list so1 (so-hom-obj so1 so1)) (app (index 1) (list (index 0)))) ``` -produces an error trying to use [HOM-COD]. This warning applies to other +produces an error trying to use. This warning applies to other functions taking in context and terms below as well. Moreover, note that for terms whose typing needs addition of new context diff --git a/src/lambda/package.lisp b/src/lambda/package.lisp index ced7cdf71..0007bc1df 100644 --- a/src/lambda/package.lisp +++ b/src/lambda/package.lisp @@ -16,7 +16,6 @@ "This covers the main API for the STLC module" (ann-term1 pax:generic-function) - (hom-cod pax:function) (index-check pax:function) (fun-to-hom pax:function) (ann-term2 pax:function)