Extracting the sourceforge archives

To reproduce, run the following commands:

$ tar --extract -f sourceforge-1.05alpha.tar.gz
$ mv emerald-1.05alpha sourceforge-1.05alpha
$ tar --extract -f sourceforge-1.06alpha.tar.gz
$ mv emerald-1.06alpha sourceforge-1.06alpha
$ git add sourceforge-1.05alpha
$ git add sourceforge-1.06alpha

Author: oleks

sourceforge-1.05alpha/AUTHORS

@@ -0,0 +1,70 @@
+const RIS <- typeobject RIS
+  function  getElement [Integer] -> [AOpVectorE]
+  function  upperbound -> [Integer]
+  function  lowerbound -> [Integer]
+end RIS
+const	AOpVectorType <-	immutable typeobject AOpVectorType builtin 0x161b
+		  function  getElement [Integer] -> [AOpVectorE]
+		  function  upperbound -> [Integer]
+		  function  lowerbound -> [Integer]
+		  function  getSlice [Integer, Integer] -> [AOpVectorType]
+		  function  getElement [Integer, Integer] -> [AOpVectorType]
+		  operation catenate [a : AOpVectorType] -> [r : AOpVectorType]
+		  operation || [a : AOpVectorType] -> [r : AOpVectorType]
+		end AOpVectorType
+const AOpVector <- 	immutable object AOpVector  builtin 0x101b
+
+	  export function getSignature -> [result : Signature]
+	    result <- AOpVectorType
+	  end getSignature
+
+	  export operation create[length : Integer] -> [result : AOpVectorType]
+	    result <-
+	      immutable object aAOpVector  builtin 0x141b
+		export function  getElement [index : Integer] -> [result : AOpVectorE]
+		  primitive self "GET" [result] <- [index]
+		end getElement
+		export function  upperbound -> [r : Integer]
+		  primitive self "UPB" [r] <- []
+		end upperbound
+		export function  lowerbound -> [r : Integer]
+		  primitive "LDIB" 0 [r] <- []
+		end lowerbound
+		export function  getSlice [i1 : Integer, length : Integer] -> [r : AOpVectorType]
+		  primitive self "GSLICE" [r] <- [i1, length]
+		end getSlice
+		export function  getElement [i1 : Integer, length : Integer] -> [r : AOpVectorType]
+		  primitive self "GSLICE" [r] <- [i1, length]
+		end getElement
+		export operation catenate [a : AOpVectorType] -> [r : AOpVectorType]
+		  primitive self "CAT" [r] <- [a]
+		end catenate
+		export operation || [a : AOpVectorType] -> [r : AOpVectorType]
+		  primitive self "CAT" [r] <- [a]
+		end ||
+	      end aAOpVector
+	  end create
+	  export operation literal[value : RIS, length : Integer] -> [r : AOpVectorType]
+	    var i	: Integer
+	    var j 	: Integer
+	    var limit	: Integer
+	    var e	: AOpVectorE
+
+	    i <- value.lowerbound
+	    limit <- length - 1
+	    r <- self.create[limit - i + 1]
+	    
+	    j <- 0
+	    loop
+	      exit when i > limit
+	      e <- value[i]
+	      primitive "SET" [] <- [r, j, e]
+	      i <- i + 1
+	      j <- j + 1
+	    end loop
+	  end literal
+	  export operation literal [value : RIS] -> [r : AOpVectorType]
+	    r <- self.literal[value, value.upperbound + 1]
+	  end literal
+	end AOpVector
+export AOpVector to "Builtins"

sourceforge-1.05alpha/Builtins/AOpVec.m

@@ -0,0 +1,66 @@
+% 
+% @(#)AOpVectorE.m	1.2  3/6/91
+%
+const AOpVectorE <- immutable object AOpVectorE builtin 0x101c
+  const AOpVectorEType <- typeobject AOpVectorEType builtin 0x161c
+    function  getID -> [Integer]
+    function  getNArgs -> [Integer]
+    function  getNRess -> [Integer]
+    function  getIsFunction -> [Boolean]
+    function  getName -> [String]
+    function  getArguments -> [AParamList]
+    function  getResults   -> [AParamList]
+  end AOpVectorEType
+
+  export function getSignature -> [ result : Signature ]
+    result <- AOpVectorEType
+  end getSignature
+
+  export operation create [
+    pid : Integer,
+    pisFunction : Boolean,
+    pname : String,
+    parguments : AParamList,
+    presults : AParamList] ->  [ n : AOpVectorEType ]
+
+    n <- immutable object aAOpVectorE builtin 0x141c
+      const id <- pid
+      const isFunction <- pisFunction
+      attached const name <- pname
+      attached const arguments <- parguments
+      attached const results <- presults
+      
+      export function  getid -> [r : Integer]
+	r <- id
+      end getid
+      export function  getNArgs -> [r : Integer]
+	if arguments == nil then
+	  r <- 0
+	else
+	  r <- arguments.upperbound + 1
+	end if
+      end getNArgs
+      export function  getNRess -> [r : Integer]
+	if results == nil then
+	  r <- 0
+	else
+	  r <- results.upperbound + 1
+	end if
+      end getNRess
+      export function  getIsFunction -> [r : Boolean]
+	r <- IsFunction
+      end getIsFunction
+      export function  getName -> [r : String]
+	r <- name
+      end getName
+      export function  getArguments -> [r : AParamList]
+	r <- arguments
+      end getArguments
+      export function  getResults -> [r : AParamList]
+	r <- results
+      end getResults
+    end aAOpVectorE
+  end create
+end AOpVectorE
+  
+export AOpVectorE to "Builtins"

sourceforge-1.05alpha/Builtins/AOpVecE.m

@@ -0,0 +1,70 @@
+const RIS <- typeobject RIS
+  function  getElement [Integer] -> [Signature]
+  function  upperbound -> [Integer]
+  function  lowerbound -> [Integer]
+end RIS
+const	AParamListType <-	immutable typeobject AParamListType builtin 0x161d
+		  function  getElement [Integer] -> [Signature]
+		  function  upperbound -> [Integer]
+		  function  lowerbound -> [Integer]
+		  function  getSlice [Integer, Integer] -> [AParamListType]
+		  function  getElement [Integer, Integer] -> [AParamListType]
+		  operation catenate [a : AParamListType] -> [r : AParamListType]
+		  operation || [a : AParamListType] -> [r : AParamListType]
+		end AParamListType
+const AParamList <- 	immutable object AParamList  builtin 0x101d
+
+	  export function getSignature -> [result : Signature]
+	    result <- AParamListType
+	  end getSignature
+
+	  export operation create[length : Integer] -> [result : AParamListType]
+	    result <-
+	      immutable object aAParamList  builtin 0x141d
+		export function  getElement [index : Integer] -> [result : Signature]
+		  primitive self "GET" [result] <- [index]
+		end getElement
+		export function  upperbound -> [r : Integer]
+		  primitive self "UPB" [r] <- []
+		end upperbound
+		export function  lowerbound -> [r : Integer]
+		  primitive "LDIB" 0 [r] <- []
+		end lowerbound
+		export function  getSlice [i1 : Integer, length : Integer] -> [r : AParamListType]
+		  primitive self "GSLICE" [r] <- [i1, length]
+		end getSlice
+		export function  getElement [i1 : Integer, length : Integer] -> [r : AParamListType]
+		  primitive self "GSLICE" [r] <- [i1, length]
+		end getElement
+		export operation catenate [a : AParamListType] -> [r : AParamListType]
+		  primitive self "CAT" [r] <- [a]
+		end catenate
+		export operation || [a : AParamListType] -> [r : AParamListType]
+		  primitive self "CAT" [r] <- [a]
+		end ||
+	      end aAParamList
+	  end create
+	  export operation literal[value : RIS, length : Integer] -> [r : AParamListType]
+	    var i	: Integer
+	    var j 	: Integer
+	    var limit	: Integer
+	    var e	: Signature
+
+	    i <- value.lowerbound
+	    limit <- length - 1
+	    r <- self.create[limit - i + 1]
+	    
+	    j <- 0
+	    loop
+	      exit when i > limit
+	      e <- value[i]
+	      primitive "SET" [] <- [r, j, e]
+	      i <- i + 1
+	      j <- j + 1
+	    end loop
+	  end literal
+	  export operation literal [value : RIS] -> [r : AParamListType]
+	    r <- self.literal[value, value.upperbound + 1]
+	  end literal
+	end AParamList
+export AParamList to "Builtins"

sourceforge-1.05alpha/Builtins/AParamL.m

@@ -0,0 +1,20 @@
+% 
+% @(#)AbstractType.m	1.3  3/6/91
+%
+const type <- immutable object type builtin 0x1000
+  const typeType <- immutable typeobject typeType builtin 0x1600
+    function getSignature -> [Signature]
+  end typeType
+  export function getSignature -> [result : Signature]
+    result <- typeType
+  end getSignature
+  export operation create -> [r : typeType]
+    r <- immutable object aType builtin 0x1400
+      export function getSignature -> [r : Signature]
+	r <- typetype
+      end getSignature
+    end aType
+  end create
+end type
+
+export type to "Builtins"

sourceforge-1.05alpha/Builtins/AType.m

@@ -0,0 +1,17 @@
+% 
+% @(#)Any.m	1.2  3/6/91
+%
+const Any <- immutable object Any builtin 0x1001
+  const AnyType <- typeobject AnyType builtin 0x1601
+  end AnyType
+
+  export function getSignature -> [result : Signature]
+    result <- AnyType
+  end getSignature
+  export operation create -> [ n : AnyType ]
+    n <- immutable object anAny builtin 0x1401
+    end anAny
+  end create
+end Any
+
+export Any to "Builtins"