blob: c36ceb6160e3a5d4c3e4bd00a19bbdb7e14b346c (
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
52
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);
}
|
