20060303a

1 files changed, 53 insertions, 0 deletions

diff --git a/appl/alphabet/abc/type.b b/appl/alphabet/abc/type.b
new file mode 100644
index 00000000..c36ceb61
--- /dev/null
+++ b/appl/alphabet/abc/type.b
@@ -0,0 +1,53 @@
+implement Type, Abcmodule;
+include "sys.m";
+	sys: Sys;
+include "draw.m";
+include "sh.m";
+include "alphabet/reports.m";
+	reports: Reports;
+	report: import reports;
+include "alphabet.m";
+include "alphabet/abc.m";
+	abc: Abc;
+	Value: import abc;
+
+Type: module {};
+types(): string
+{
+	return "AAss*";
+}
+
+init()
+{
+	sys = load Sys Sys->PATH;
+	reports = checkload(load Reports Reports->PATH, Reports->PATH);
+	abc = checkload(load Abc Abc->PATH, Abc->PATH);
+	abc->init();
+}
+
+quit()
+{
+}
+
+run(errorc: chan of string, nil: ref Reports->Report,
+		nil: list of (int, list of ref Value),
+		args: list of ref Value
+	): ref Value
+{
+	av := (hd args);
+	a := av.A().i.alphabet;
+	for(args = tl args; args != nil; args = tl args){
+		if((e := a->importtype((hd args).s().i)) != nil){
+			report(errorc, "type: "+(hd args).s().i+": "+e);
+			return nil;
+		}
+	}
+	return av.dup();
+}
+
+checkload[T](m: T, path: string): T
+{
+	if(m != nil)
+		return m;
+	raise sys->sprint("fail:cannot load %s: %r", path);
+}