File: pattern.bs

package info (click to toggle)
storm-lang 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,028 kB
  • sloc: ansic: 261,471; cpp: 140,432; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (68 lines) | stat: -rw-r--r-- 1,091 bytes parent folder | download | duplicates (2)
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
use core:lang;
use lang:bs;
use lang:bs:macro;

Expr patternExpr(Block block, Expr param) on Compiler {
	// Note if-else is to ensure that ()? are handled correctly!
	var e = pattern(block) {
		Int z = 1;
		if (10 > 20) {
			z;
		} else {
			10 + $param * ${NumLiteral(SrcPos(), 20)};
		}
	};

	e;
}

Int testPattern() {
	p!8!p;
}

Int testPatternNames() {
	// Make sure the correct 'z' is used. There is a 'z' inside the pattern as well.
	Int z = 100;
	p!z!p;
}

Expr patternSpliceExpr(Block block, Expr[] params) on Compiler {
	var e = pattern(block) {
		spliceTest(1, @params);
	};

	e;
}

Int spliceTest(Int a, Int b) {
	a + b + 20;
}

Int spliceTest(Int a, Int b, Int c) {
	a + b + c;
}

Int testPatternSplice1() {
	s!2!s;
}

Int testPatternSplice2() {
	s!2,3!s;
}

Expr patternTypeExpr(Block block, Expr base, SrcName type) on Compiler {
	unless (found = block.scope.find(type))
		throw InternalError("Incorrect name!");

	var e = pattern(block) {
		if (x = ${base} as ${found})
			return 1;
	};
	e;
}

Int testPatternType() {
	CloneBase b = CloneDerived();
	t!b,CloneDerived!t;
	0;
}