blob: d6929b5d33ad3283199df4f4a2e097de67922811 (
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
|
implement Define, 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;
Define: module {};
types(): string
{
return "AAsc";
}
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;
m := (hd tl args).s().i;
c := (hd tl tl args).c().i;
if((e := a->define(m, c, errorc)) != nil){
report(errorc, "define: error: "+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);
}
|
