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 /034address.cc | |
| parent | 838b1afce9a957218401a8a4f0d8316c9f06182f (diff) | |
| download | mu-c5ee24ef524a4d90cd5fbf0aa22a137396f5306c.tar.gz | |
3631
Diffstat (limited to '034address.cc')
| -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 |