From 7730f8fafe5dea4ab3ba8c4659a4d295689e1818 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Fri, 10 Dec 2010 03:13:22 +0000
Subject: cleanup

---
 src/interp/g-util.boot | 57 --------------------------------------------------
 1 file changed, 57 deletions(-)

(limited to 'src/interp/g-util.boot')

diff --git a/src/interp/g-util.boot b/src/interp/g-util.boot
index 2462e843..20df873d 100644
--- a/src/interp/g-util.boot
+++ b/src/interp/g-util.boot
@@ -1086,11 +1086,6 @@ isUpperCaseLetter c ==
 isLetter c ==
   alphabetic? c
 
-update() ==
-  runCommand
-    strconc(textEditor(), '" ",STRINGIMAGE _/VERSION,'" ",STRINGIMAGE _/WSNAME,'" A")
-  _/UPDATE()
-
 --% Inplace Merge Sort for Lists
 -- MBM April/88
 
@@ -1160,46 +1155,6 @@ spadThrowBrightly x ==
   sayBrightly x
   spadThrow()
 
---% Type Formatting Without Abbreviation
-
-formatUnabbreviatedSig sig ==
-  null sig => ['"() -> ()"]
-  [target,:args] := dollarPercentTran sig
-  target := formatUnabbreviated target
-  null args => ['"() -> ",:target]
-  null rest args => [:formatUnabbreviated first args,'" -> ",:target]
-  args := formatUnabbreviatedTuple args
-  ['"(",:args,'") -> ",:target]
-
-formatUnabbreviatedTuple t ==
-  -- t is a list of types
-  null t => t
-  atom t => [t]
-  t0 := formatUnabbreviated t.op
-  null rest t => t0
-  [:t0,'",",:formatUnabbreviatedTuple rest t]
-
-formatUnabbreviated t ==
-  null t =>
-    ['"()"]
-  atom t =>
-    [t]
-  t is [p,sel,arg] and p = ":" =>
-    [sel,'": ",:formatUnabbreviated arg]
-  t is ['Union,:args] =>
-    ['Union,'"(",:formatUnabbreviatedTuple args,'")"]
-  t is ['Mapping,:args] =>
-    formatUnabbreviatedSig args
-  t is ['Record,:args] =>
-    ['Record,'"(",:formatUnabbreviatedTuple args,'")"]
-  t is [arg] =>
-    t
-  t is [arg,arg1] =>
-    [arg,'" ",:formatUnabbreviated arg1]
-  t is [arg,:args] =>
-    [arg,'"(",:formatUnabbreviatedTuple args,'")"]
-  t
-
 sublisNQ(al,e) ==
   atom al => e
   fn(al,e) where fn(al,e) ==
@@ -1337,18 +1292,6 @@ pr x ==
   F_,PRINT_-ONE x
   nil
 
-quickAnd(a,b) ==
-  a = true => b
-  b = true => a
-  a = false or b = false => false
-  simpBool ['AND,a,b]
-
-quickOr(a,b) ==
-  a = true or b = true => true
-  b = false => a
-  a = false => b
-  simpCatPredicate simpBool ['OR,a,b]
-
 intern x ==
   string? x =>
     digit? x.0 => string2Integer x
-- 
cgit v1.2.3