equal
deleted
inserted
replaced
11 |
11 |
12 structure List = |
12 structure List = |
13 struct |
13 struct |
14 |
14 |
15 fun memberl (A_:'a Code_Generator.eq) x (y :: ys) = |
15 fun memberl (A_:'a Code_Generator.eq) x (y :: ys) = |
16 (Code_Generator.op_eq A_ x y orelse memberl A_ x ys) |
16 Code_Generator.op_eq A_ x y orelse memberl A_ x ys |
17 | memberl (A_:'a Code_Generator.eq) x [] = false; |
17 | memberl (A_:'a Code_Generator.eq) x [] = false; |
18 |
18 |
19 end; (*struct List*) |
19 end; (*struct List*) |
20 |
20 |
21 structure Codegen = |
21 structure Codegen = |