remove dead code as detected by the new typechecker

This commit is contained in:
Krasimir Angelov
2025-05-21 14:43:45 +02:00
parent 41906a31c4
commit 04df53a17a
3 changed files with 7 additions and 10 deletions
+1 -2
View File
@@ -70,8 +70,7 @@ concrete SentenceBul of Sentence = CatBul ** open Prelude, ResBul in {
s = \\q => t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! q
} ;
UseRCl t p cl = {
s = \\agr => t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! agr ;
role = cl.role
s = \\agr => t.s ++ p.s ++ cl.s ! t.t ! t.a ! p.p ! agr
} ;
UseSlash t p cl = {
s = \\agr => t.s ++ p.s ++ cl.s ! agr ! t.t ! t.a ! p.p ! Main ;