From c5ee24ef524a4d90cd5fbf0aa22a137396f5306c Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 6 Nov 2016 01:12:35 -0700 Subject: 3631 --- 034address.cc | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/034address.cc b/034address.cc index f5363c1f..dc032d4f 100644 --- a/034address.cc +++ b/034address.cc @@ -200,6 +200,13 @@ void drop_from_type(reagent& r, string expected_type) { delete tmp; } +:(scenario new_returns_incorrect_type) +% Hide_errors = true; +def main [ + 1:bool <- new num:type +] ++error: main: product of 'new' has incorrect type: '1:bool <- new num:type' + :(scenario new_with_type_abbreviation) def main [ 1:address:num/raw <- new num:type -- cgit 1.4.1-2-gfad0 91a0f67'/> Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.Kartik K. Agaram <vc@akkartik.com>
about summary refs log blame commit diff stats
path: root/subx/Readme.md
blob: 49abbdf3fd01042b7e74997eb6ef6c73328a06c4 (plain) (tree) 
38971405 ^

224474d7 ^

b3a3d14f ^








2e693f72 ^

b3a3d14f ^







2e693f72 ^

b3a3d14f ^



2e693f72 ^


b3a3d14f ^


2e693f72 ^






































































38971405 ^

















1dcd9350 ^

38971405 ^






b8cfbdc8 ^


2e693f72 ^

b8cfbdc8 ^


57628c0e ^

2e693f72 ^



b8cfbdc8 ^


2e693f72 ^

b8cfbdc8 ^

2e693f72 ^

b8cfbdc8 ^


2e693f72 ^







d1e2b0aa ^

86d8f1f3 ^




11304f10 ^

2e693f72 ^

d2051c62 ^

d77745f5 ^



d2051c62 ^


d77745f5 ^

bd61a20a ^

667d2117 ^


d1e2b0aa ^

7ecc45c1 ^





38971405 ^

46438423 ^

8f64fc0a ^


38971405 ^

46438423 ^

6ec89428 ^



38971405 ^


6ec89428 ^

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
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96

97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113

114

115
116
117
118
119
120

121
122

123

124
125

126

127
128
129

130
131

132

133

134

135
136

137
138
139
140
141
142
143

144

145
146
147
148

149

150

151

152
153
154

155
156

157

158

159
160

161

162
163
164
165
166

167

168

169
170

171

172

173
174
175

176
177

178