blob: 4b9152ea760d2cfa629dc6329e132173c360552f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
implement Typeset, 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;
Typeset: module {};
types(): string
{
return "AAs";
}
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
{
a := (hd args).A().i.alphabet;
e := a->loadtypeset((hd tl args).s().i, nil, errorc);
if(e != nil){
report(errorc, "typeset: "+(hd tl args).s().i+": "+e);
return nil;
}
return (hd args).dup();
}
checkload[T](m: T, path: string): T
{
if(m != nil)
return m;
raise sys->sprint("fail:cannot load %s: %r", path);
}
|
