diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:12:35 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-06 01:12:35 -0700 |
commit | c5ee24ef524a4d90cd5fbf0aa22a137396f5306c (patch) | |
tree | 9b5cf833177261bbc1a03a25f05b7f4df73fffe4 | |
parent | 838b1afce9a957218401a8a4f0d8316c9f06182f (diff) | |
download | mu-c5ee24ef524a4d90cd5fbf0aa22a137396f5306c.tar.gz |
3631
-rw-r--r-- | 034address.cc | 7 |
1 files changed, 7 insertions, 0 deletions
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 |