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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
implement Autoconvert, Abcmodule;
include "sys.m";
sys: Sys;
include "draw.m";
include "sh.m";
Cmd,
n_BLOCK, n_WORD, n_SEQ, n_LIST, n_ADJ, n_VAR: import Sh;
include "alphabet/reports.m";
reports: Reports;
report: import reports;
include "alphabet.m";
include "alphabet/abc.m";
abc: Abc;
Value: import abc;
Autoconvert: module {};
types(): string
{
return "AAssc";
}
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;
src := (hd tl args).s().i;
dst := (hd tl tl args).s().i;
c := (hd tl tl tl args).c().i;
# {word} -> {(src); word $1}
if(c.ntype == n_BLOCK && c.left.ntype == n_WORD){
c = mk(n_BLOCK,
mk(n_SEQ,
mk(n_LIST, mkw(src), nil),
mk(n_ADJ,
c.left,
mk(n_VAR, mkw("1"), nil)
)
),
nil
);
}
err := a->autoconvert(src, dst, c, errorc);
if(err != nil){
report(errorc, "abcautoconvert: "+err);
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);
}
mk(ntype: int, left, right: ref Cmd): ref Cmd
{
return ref Cmd(ntype, left, right, nil, nil);
}
mkw(w: string): ref Cmd
{
return ref Cmd(n_WORD, nil, nil, w, nil);
}
|
