authorgravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2016-01-03 18:17:50-07:00
committergravatar for andrew@ziglang.orgAndrew Kelley <andrew@ziglang.org> 2016-01-03 18:17:50-07:00
logfa6e3eec464227a2c20ca949e2fd12f3ab649960
tree6ac09e0230a70cd9473f067fb6fe50f55c614594
parentb453345554cf7a48061e0cb43a6e8b45641cb4c3

add #typeof() compiler function

8 files changed, 148 insertions(+), 29 deletions(-)

doc/langref.md+3-1
......@@ -60,7 +60,9 @@ ParamDeclList : token(LParen) list(ParamDecl, token(Comma)) token(RParen)
6060
6161ParamDecl : token(Symbol) token(Colon) Type | token(Ellipsis)
6262
63Type : token(Symbol) | token(Unreachable) | token(Void) | PointerType | ArrayType | MaybeType
63Type : token(Symbol) | token(Unreachable) | token(Void) | PointerType | ArrayType | MaybeType | CompileTimeFnCall
64
65CompileTimeFnCall : token(NumberSign) token(Symbol) token(LParen) Expression token(RParen)
6466
6567PointerType : token(Ampersand) option(token(Const)) Type
6668
example/rand/main.zig+1-1
......@@ -2,7 +2,7 @@
22const ARRAY_SIZE : u16 = 624;
33
44/// Use `rand_init` to initialize this state.
5pub struct Rand {
5struct Rand {
66 array: [u32; ARRAY_SIZE],
77 index: #typeof(ARRAY_SIZE),
88
src/analyze.cpp+34-14
......@@ -59,6 +59,7 @@ static AstNode *first_executing_node(AstNode *node) {
5959 case NodeTypeStructValueExpr:
6060 case NodeTypeStructValueField:
6161 case NodeTypeWhileExpr:
62 case NodeTypeCompilerFnCall:
6263 return node;
6364 }
6465 zig_panic("unreachable");
......@@ -208,7 +209,7 @@ static TypeTableEntry *get_array_type(CodeGen *g, TypeTableEntry *child_type, ui
208209 }
209210}
210211
211static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node) {
212static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node, ImportTableEntry *import, BlockContext *context) {
212213 assert(node->type == NodeTypeType);
213214 alloc_codegen_node(node);
214215 TypeNode *type_node = &node->codegen_node->data.type_node;
......@@ -228,7 +229,7 @@ static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node) {
228229 }
229230 case AstNodeTypeTypePointer:
230231 {
231 resolve_type(g, node->data.type.child_type);
232 resolve_type(g, node->data.type.child_type, import, context);
232233 TypeTableEntry *child_type = node->data.type.child_type->codegen_node->data.type_node.entry;
233234 assert(child_type);
234235 if (child_type->id == TypeTableEntryIdUnreachable) {
......@@ -242,7 +243,7 @@ static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node) {
242243 }
243244 case AstNodeTypeTypeArray:
244245 {
245 resolve_type(g, node->data.type.child_type);
246 resolve_type(g, node->data.type.child_type, import, context);
246247 TypeTableEntry *child_type = node->data.type.child_type->codegen_node->data.type_node.entry;
247248 if (child_type->id == TypeTableEntryIdUnreachable) {
248249 add_node_error(g, node,
......@@ -263,7 +264,7 @@ static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node) {
263264 }
264265 case AstNodeTypeTypeMaybe:
265266 {
266 resolve_type(g, node->data.type.child_type);
267 resolve_type(g, node->data.type.child_type, import, context);
267268 TypeTableEntry *child_type = node->data.type.child_type->codegen_node->data.type_node.entry;
268269 assert(child_type);
269270 if (child_type->id == TypeTableEntryIdUnreachable) {
......@@ -275,11 +276,26 @@ static TypeTableEntry *resolve_type(CodeGen *g, AstNode *node) {
275276 type_node->entry = get_maybe_type(g, child_type);
276277 return type_node->entry;
277278 }
279 case AstNodeTypeTypeCompilerExpr:
280 {
281 AstNode *compiler_expr_node = node->data.type.compiler_expr;
282 Buf *fn_name = &compiler_expr_node->data.compiler_fn_call.name;
283 if (buf_eql_str(fn_name, "typeof")) {
284 return analyze_expression(g, import, context, nullptr,
285 compiler_expr_node->data.compiler_fn_call.expr);
286 } else {
287 add_node_error(g, node,
288 buf_sprintf("invalid compiler function: '%s'", buf_ptr(fn_name)));
289 return g->builtin_types.entry_invalid;
290 }
291 }
278292 }
279293 zig_unreachable();
280294}
281295
282static void resolve_function_proto(CodeGen *g, AstNode *node, FnTableEntry *fn_table_entry) {
296static void resolve_function_proto(CodeGen *g, AstNode *node, FnTableEntry *fn_table_entry,
297 ImportTableEntry *import)
298{
283299 assert(node->type == NodeTypeFnProto);
284300
285301 for (int i = 0; i < node->data.fn_proto.directives->length; i += 1) {
......@@ -310,7 +326,7 @@ static void resolve_function_proto(CodeGen *g, AstNode *node, FnTableEntry *fn_t
310326 for (int i = 0; i < node->data.fn_proto.params.length; i += 1) {
311327 AstNode *child = node->data.fn_proto.params.at(i);
312328 assert(child->type == NodeTypeParamDecl);
313 TypeTableEntry *type_entry = resolve_type(g, child->data.param_decl.type);
329 TypeTableEntry *type_entry = resolve_type(g, child->data.param_decl.type, import, import->block_context);
314330 if (type_entry->id == TypeTableEntryIdUnreachable) {
315331 add_node_error(g, child->data.param_decl.type,
316332 buf_sprintf("parameter of type 'unreachable' not allowed"));
......@@ -322,7 +338,7 @@ static void resolve_function_proto(CodeGen *g, AstNode *node, FnTableEntry *fn_t
322338 }
323339 }
324340
325 resolve_type(g, node->data.fn_proto.return_type);
341 resolve_type(g, node->data.fn_proto.return_type, import, import->block_context);
326342}
327343
328344static void preview_function_labels(CodeGen *g, AstNode *node, FnTableEntry *fn_table_entry) {
......@@ -383,7 +399,7 @@ static void resolve_struct_type(CodeGen *g, ImportTableEntry *import, TypeTableE
383399 AstNode *field_node = decl_node->data.struct_decl.fields.at(i);
384400 TypeStructField *type_struct_field = &struct_type->data.structure.fields[i];
385401 type_struct_field->name = &field_node->data.struct_field.name;
386 type_struct_field->type_entry = resolve_type(g, field_node->data.struct_field.type);
402 type_struct_field->type_entry = resolve_type(g, field_node->data.struct_field.type, import, import->block_context);
387403
388404 if (type_struct_field->type_entry->id == TypeTableEntryIdStruct) {
389405 resolve_struct_type(g, import, type_struct_field->type_entry);
......@@ -453,7 +469,7 @@ static void preview_function_declarations(CodeGen *g, ImportTableEntry *import,
453469 fn_table_entry->import_entry = import;
454470 fn_table_entry->label_table.init(8);
455471
456 resolve_function_proto(g, fn_proto, fn_table_entry);
472 resolve_function_proto(g, fn_proto, fn_table_entry, import);
457473
458474 Buf *name = &fn_proto->data.fn_proto.name;
459475 g->fn_protos.append(fn_table_entry);
......@@ -512,7 +528,7 @@ static void preview_function_declarations(CodeGen *g, ImportTableEntry *import,
512528 g->fn_table.put(proto_name, fn_table_entry);
513529 }
514530
515 resolve_function_proto(g, proto_node, fn_table_entry);
531 resolve_function_proto(g, proto_node, fn_table_entry, import);
516532
517533
518534 alloc_codegen_node(proto_node);
......@@ -609,6 +625,7 @@ static void preview_function_declarations(CodeGen *g, ImportTableEntry *import,
609625 case NodeTypeStructField:
610626 case NodeTypeStructValueExpr:
611627 case NodeTypeStructValueField:
628 case NodeTypeCompilerFnCall:
612629 zig_unreachable();
613630 }
614631}
......@@ -681,6 +698,7 @@ static void preview_types(CodeGen *g, ImportTableEntry *import, AstNode *node) {
681698 case NodeTypeStructField:
682699 case NodeTypeStructValueExpr:
683700 case NodeTypeStructValueField:
701 case NodeTypeCompilerFnCall:
684702 zig_unreachable();
685703 }
686704}
......@@ -1132,7 +1150,7 @@ static bool is_op_allowed(TypeTableEntry *type, BinOpType op) {
11321150static TypeTableEntry *analyze_cast_expr(CodeGen *g, ImportTableEntry *import, BlockContext *context,
11331151 TypeTableEntry *expected_type, AstNode *node)
11341152{
1135 TypeTableEntry *wanted_type = resolve_type(g, node->data.cast_expr.type);
1153 TypeTableEntry *wanted_type = resolve_type(g, node->data.cast_expr.type, import, context);
11361154 TypeTableEntry *actual_type = analyze_expression(g, import, context, nullptr, node->data.cast_expr.expr);
11371155
11381156 if (wanted_type->id == TypeTableEntryIdInvalid ||
......@@ -1328,7 +1346,7 @@ static VariableTableEntry *analyze_variable_declaration_raw(CodeGen *g, ImportTa
13281346{
13291347 TypeTableEntry *explicit_type = nullptr;
13301348 if (variable_declaration->type != nullptr) {
1331 explicit_type = resolve_type(g, variable_declaration->type);
1349 explicit_type = resolve_type(g, variable_declaration->type, import, context);
13321350 if (explicit_type->id == TypeTableEntryIdUnreachable) {
13331351 add_node_error(g, variable_declaration->type,
13341352 buf_sprintf("variable of type 'unreachable' not allowed"));
......@@ -1428,7 +1446,7 @@ static TypeTableEntry *analyze_struct_val_expr(CodeGen *g, ImportTableEntry *imp
14281446
14291447 AstNodeStructValueExpr *struct_val_expr = &node->data.struct_val_expr;
14301448
1431 TypeTableEntry *type_entry = resolve_type(g, struct_val_expr->type);
1449 TypeTableEntry *type_entry = resolve_type(g, struct_val_expr->type, import, context);
14321450
14331451 if (type_entry->id == TypeTableEntryIdInvalid) {
14341452 return g->builtin_types.entry_invalid;
......@@ -1655,7 +1673,7 @@ static TypeTableEntry * analyze_expression(CodeGen *g, ImportTableEntry *import,
16551673 AsmOutput *asm_output = node->data.asm_expr.output_list.at(i);
16561674 if (asm_output->return_type) {
16571675 node->data.asm_expr.return_count += 1;
1658 return_type = resolve_type(g, asm_output->return_type);
1676 return_type = resolve_type(g, asm_output->return_type, import, context);
16591677 if (node->data.asm_expr.return_count > 1) {
16601678 add_node_error(g, node,
16611679 buf_sprintf("inline assembly allows up to one output value"));
......@@ -1848,6 +1866,7 @@ static TypeTableEntry * analyze_expression(CodeGen *g, ImportTableEntry *import,
18481866 case NodeTypeStructDecl:
18491867 case NodeTypeStructField:
18501868 case NodeTypeStructValueField:
1869 case NodeTypeCompilerFnCall:
18511870 zig_unreachable();
18521871 }
18531872 assert(return_type);
......@@ -1996,6 +2015,7 @@ static void analyze_top_level_declaration(CodeGen *g, ImportTableEntry *import,
19962015 case NodeTypeStructField:
19972016 case NodeTypeStructValueExpr:
19982017 case NodeTypeStructValueField:
2018 case NodeTypeCompilerFnCall:
19992019 zig_unreachable();
20002020 }
20012021}
src/analyze.hpp+2
......@@ -159,9 +159,11 @@ struct CodeGen {
159159 struct {
160160 TypeTableEntry *entry_bool;
161161 TypeTableEntry *entry_u8;
162 TypeTableEntry *entry_u16;
162163 TypeTableEntry *entry_u32;
163164 TypeTableEntry *entry_u64;
164165 TypeTableEntry *entry_i8;
166 TypeTableEntry *entry_i16;
165167 TypeTableEntry *entry_i32;
166168 TypeTableEntry *entry_i64;
167169 TypeTableEntry *entry_isize;
src/codegen.cpp+27
......@@ -1326,6 +1326,7 @@ static LLVMValueRef gen_expr_no_cast(CodeGen *g, AstNode *node) {
13261326 case NodeTypeStructDecl:
13271327 case NodeTypeStructField:
13281328 case NodeTypeStructValueField:
1329 case NodeTypeCompilerFnCall:
13291330 zig_unreachable();
13301331 }
13311332 zig_unreachable();
......@@ -1685,6 +1686,19 @@ static void define_builtin_types(CodeGen *g) {
16851686 g->type_table.put(&entry->name, entry);
16861687 g->builtin_types.entry_u8 = entry;
16871688 }
1689 {
1690 TypeTableEntry *entry = new_type_table_entry(TypeTableEntryIdInt);
1691 entry->type_ref = LLVMInt16Type();
1692 buf_init_from_str(&entry->name, "u16");
1693 entry->size_in_bits = 16;
1694 entry->align_in_bits = 16;
1695 entry->data.integral.is_signed = false;
1696 entry->di_type = LLVMZigCreateDebugBasicType(g->dbuilder, buf_ptr(&entry->name),
1697 entry->size_in_bits, entry->align_in_bits,
1698 LLVMZigEncoding_DW_ATE_unsigned());
1699 g->type_table.put(&entry->name, entry);
1700 g->builtin_types.entry_u16 = entry;
1701 }
16881702 {
16891703 TypeTableEntry *entry = new_type_table_entry(TypeTableEntryIdInt);
16901704 entry->type_ref = LLVMInt32Type();
......@@ -1725,6 +1739,19 @@ static void define_builtin_types(CodeGen *g) {
17251739 g->type_table.put(&entry->name, entry);
17261740 g->builtin_types.entry_i8 = entry;
17271741 }
1742 {
1743 TypeTableEntry *entry = new_type_table_entry(TypeTableEntryIdInt);
1744 entry->type_ref = LLVMInt16Type();
1745 buf_init_from_str(&entry->name, "i16");
1746 entry->size_in_bits = 16;
1747 entry->align_in_bits = 16;
1748 entry->data.integral.is_signed = true;
1749 entry->di_type = LLVMZigCreateDebugBasicType(g->dbuilder, buf_ptr(&entry->name),
1750 entry->size_in_bits, entry->align_in_bits,
1751 LLVMZigEncoding_DW_ATE_signed());
1752 g->type_table.put(&entry->name, entry);
1753 g->builtin_types.entry_i16 = entry;
1754 }
17281755 {
17291756 TypeTableEntry *entry = new_type_table_entry(TypeTableEntryIdInt);
17301757 entry->type_ref = LLVMInt32Type();
src/parser.cpp+46-3
......@@ -142,6 +142,8 @@ const char *node_type_str(NodeType node_type) {
142142 return "StructValueExpr";
143143 case NodeTypeStructValueField:
144144 return "StructValueField";
145 case NodeTypeCompilerFnCall:
146 return "CompilerFnCall";
145147 }
146148 zig_unreachable();
147149}
......@@ -233,6 +235,12 @@ void ast_print(AstNode *node, int indent) {
233235 ast_print(node->data.type.child_type, indent + 2);
234236 break;
235237 }
238 case AstNodeTypeTypeCompilerExpr:
239 {
240 fprintf(stderr, "CompilerExprType\n");
241 ast_print(node->data.type.compiler_expr, indent + 2);
242 break;
243 }
236244 }
237245 break;
238246 case NodeTypeReturnExpr:
......@@ -402,6 +410,9 @@ void ast_print(AstNode *node, int indent) {
402410 fprintf(stderr, "%s '%s'\n", node_type_str(node->type), buf_ptr(&node->data.struct_val_field.name));
403411 ast_print(node->data.struct_val_field.expr, indent + 2);
404412 break;
413 case NodeTypeCompilerFnCall:
414 fprintf(stderr, "%s\n", node_type_str(node->type));
415 break;
405416 }
406417}
407418
......@@ -985,16 +996,48 @@ static void ast_parse_type_assume_amp(ParseContext *pc, int *token_index, AstNod
985996}
986997
987998/*
988Type : token(Symbol) | token(Unreachable) | token(Void) | PointerType | ArrayType | MaybeType
999CompileTimeFnCall : token(NumberSign) token(Symbol) token(LParen) Expression token(RParen)
1000*/
1001static AstNode *ast_parse_compiler_fn_call(ParseContext *pc, int *token_index, bool mandatory) {
1002 Token *token = &pc->tokens->at(*token_index);
1003
1004 if (token->id == TokenIdNumberSign) {
1005 *token_index += 1;
1006 } else if (mandatory) {
1007 ast_invalid_token_error(pc, token);
1008 } else {
1009 return nullptr;
1010 }
1011
1012 Token *name_symbol = ast_eat_token(pc, token_index, TokenIdSymbol);
1013 ast_eat_token(pc, token_index, TokenIdLParen);
1014
1015 AstNode *node = ast_create_node(pc, NodeTypeCompilerFnCall, token);
1016 ast_buf_from_token(pc, name_symbol, &node->data.compiler_fn_call.name);
1017 node->data.compiler_fn_call.expr = ast_parse_expression(pc, token_index, true);
1018
1019 ast_eat_token(pc, token_index, TokenIdRParen);
1020 return node;
1021}
1022
1023/*
1024Type : token(Symbol) | token(Unreachable) | token(Void) | PointerType | ArrayType | MaybeType | CompileTimeFnCall
9891025PointerType : token(Ampersand) option(token(Const)) Type
9901026ArrayType : token(LBracket) Type token(Semicolon) token(Number) token(RBracket)
9911027*/
9921028static AstNode *ast_parse_type(ParseContext *pc, int *token_index) {
9931029 Token *token = &pc->tokens->at(*token_index);
994 *token_index += 1;
995
9961030 AstNode *node = ast_create_node(pc, NodeTypeType, token);
9971031
1032 AstNode *compiler_fn_call = ast_parse_compiler_fn_call(pc, token_index, false);
1033 if (compiler_fn_call) {
1034 node->data.type.type = AstNodeTypeTypeCompilerExpr;
1035 node->data.type.compiler_expr = compiler_fn_call;
1036 return node;
1037 }
1038
1039 *token_index += 1;
1040
9981041 if (token->id == TokenIdKeywordUnreachable) {
9991042 node->data.type.type = AstNodeTypeTypePrimitive;
10001043 buf_init_from_str(&node->data.type.primitive_name, "unreachable");
src/parser.hpp+9
......@@ -57,6 +57,7 @@ enum NodeType {
5757 NodeTypeStructField,
5858 NodeTypeStructValueExpr,
5959 NodeTypeStructValueField,
60 NodeTypeCompilerFnCall,
6061};
6162
6263struct AstNodeRoot {
......@@ -97,6 +98,7 @@ enum AstNodeTypeType {
9798 AstNodeTypeTypePointer,
9899 AstNodeTypeTypeArray,
99100 AstNodeTypeTypeMaybe,
101 AstNodeTypeTypeCompilerExpr,
100102};
101103
102104struct AstNodeType {
......@@ -105,6 +107,7 @@ struct AstNodeType {
105107 AstNode *child_type;
106108 AstNode *array_size;
107109 bool is_const;
110 AstNode *compiler_expr;
108111};
109112
110113struct AstNodeBlock {
......@@ -329,6 +332,11 @@ struct AstNodeStructValueExpr {
329332 ZigList<AstNode *> fields;
330333};
331334
335struct AstNodeCompilerFnCall {
336 Buf name;
337 AstNode *expr;
338};
339
332340struct AstNode {
333341 enum NodeType type;
334342 int line;
......@@ -368,6 +376,7 @@ struct AstNode {
368376 AstNodeNumberLiteral number_literal;
369377 AstNodeStructValueExpr struct_val_expr;
370378 AstNodeStructValueField struct_val_field;
379 AstNodeCompilerFnCall compiler_fn_call;
371380 Buf symbol;
372381 bool bool_literal;
373382 } data;
test/run_tests.cpp+26-10
......@@ -347,7 +347,7 @@ pub fn main(argc: isize, argv: &&u8, env: &&u8) -> i32 {
347347 add_simple_case("hello world without libc", R"SOURCE(
348348use "std.zig";
349349
350export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
350pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
351351 print_str("Hello, world!\n");
352352 return 0;
353353}
......@@ -357,7 +357,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
357357 add_simple_case("a + b + c", R"SOURCE(
358358use "std.zig";
359359
360export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
360pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
361361 if (false || false || false) { print_str("BAD 1\n"); }
362362 if (true && true && false) { print_str("BAD 2\n"); }
363363 if (1 | 2 | 4 != 7) { print_str("BAD 3\n"); }
......@@ -379,7 +379,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
379379 add_simple_case("short circuit", R"SOURCE(
380380use "std.zig";
381381
382export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
382pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
383383 if (true || { print_str("BAD 1\n"); false }) {
384384 print_str("OK 1\n");
385385 }
......@@ -402,7 +402,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
402402 add_simple_case("modify operators", R"SOURCE(
403403use "std.zig";
404404
405export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
405pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
406406 var i : i32 = 0;
407407 i += 5; if (i != 5) { print_str("BAD +=\n"); }
408408 i -= 2; if (i != 3) { print_str("BAD -=\n"); }
......@@ -554,7 +554,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
554554 add_simple_case("structs", R"SOURCE(
555555use "std.zig";
556556
557export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
557pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
558558 var foo : Foo;
559559 foo.a += 1;
560560 foo.b = foo.a == 1;
......@@ -628,7 +628,7 @@ use "std.zig";
628628const g1 : i32 = 1233 + 1;
629629var g2 : i32;
630630
631export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
631pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
632632 if (g2 != 0) { print_str("BAD\n"); }
633633 g2 = g1;
634634 if (g2 != 1234) { print_str("BAD\n"); }
......@@ -639,7 +639,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
639639
640640 add_simple_case("while loop", R"SOURCE(
641641use "std.zig";
642export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
642pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
643643 var i : i32 = 0;
644644 while (i < 4) {
645645 print_str("loop\n");
......@@ -651,7 +651,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
651651
652652 add_simple_case("continue and break", R"SOURCE(
653653use "std.zig";
654export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
654pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
655655 var i : i32 = 0;
656656 while (true) {
657657 print_str("loop\n");
......@@ -667,7 +667,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
667667
668668 add_simple_case("maybe type", R"SOURCE(
669669use "std.zig";
670export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
670pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
671671 const x : ?bool = true;
672672
673673 if (const y ?= x) {
......@@ -685,7 +685,7 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
685685
686686 add_simple_case("implicit cast after unreachable", R"SOURCE(
687687use "std.zig";
688export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
688pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
689689 const x = outer();
690690 if (x == 1234) {
691691 print_str("OK\n");
......@@ -695,6 +695,17 @@ export fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
695695fn inner() -> i32 { 1234 }
696696fn outer() -> isize {
697697 return inner();
698}
699 )SOURCE", "OK\n");
700
701 add_simple_case("#typeof()", R"SOURCE(
702use "std.zig";
703const x: u16 = 13;
704const z: #typeof(x) = 19;
705pub fn main(argc : isize, argv : &&u8, env : &&u8) -> i32 {
706 const y: #typeof(x) = 120;
707 print_str("OK\n");
708 return 0;
698709}
699710 )SOURCE", "OK\n");
700711}
......@@ -999,6 +1010,11 @@ fn f() -> i32 {
9991010 (return 1) as i32
10001011}
10011012 )SOURCE", 1, ".tmp_source.zig:3:16: error: invalid cast from type 'unreachable' to 'i32'");
1013
1014 add_compile_fail_case("invalid compiler fn", R"SOURCE(
1015fn f() -> #bogus(foo) {
1016}
1017 )SOURCE", 1, ".tmp_source.zig:2:11: error: invalid compiler function: 'bogus'");
10021018}
10031019
10041020static void print_compiler_invocation(TestCase *test_case) {