From 4b7d499c3dbd5586aa855e54367d95930fd42a81 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Tue, 31 Jan 2023 14:07:03 +0100
Subject: Minor improvements; implement saturated function and constructor
 applications

---
 snug-clean/src/MIPS/MIPS32.dcl | 1 +
 snug-clean/src/MIPS/MIPS32.icl | 1 +
 2 files changed, 2 insertions(+)

(limited to 'snug-clean/src/MIPS')

diff --git a/snug-clean/src/MIPS/MIPS32.dcl b/snug-clean/src/MIPS/MIPS32.dcl
index a2c85dc..6e5ff44 100644
--- a/snug-clean/src/MIPS/MIPS32.dcl
+++ b/snug-clean/src/MIPS/MIPS32.dcl
@@ -6,6 +6,7 @@ from StdOverloaded import class toString
 	= StartSection !String
 	| Align !Int
 	| Label !Label
+	| Global !Label
 	| Instr !Instruction
 	| RawByte !Int
 	| RawWord !Int
diff --git a/snug-clean/src/MIPS/MIPS32.icl b/snug-clean/src/MIPS/MIPS32.icl
index 6e602be..ca5cbee 100644
--- a/snug-clean/src/MIPS/MIPS32.icl
+++ b/snug-clean/src/MIPS/MIPS32.icl
@@ -9,6 +9,7 @@ where
 	toString (StartSection s) = "\t." +++ s
 	toString (Align i) = "\t.align\t" +++ toString i
 	toString (Label l) = l +++ ":"
+	toString (Global l) = "\t.globl\t" +++ l
 	toString (Instr i) = "\t" +++ toString i
 	toString (RawByte i) = "\t.byte\t" +++ toString i
 	toString (RawWord i) = "\t.word\t" +++ toString i
-- 
cgit v1.2.3