diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-09-11 18:43:38 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-09-11 18:43:38 -0700 |
commit | 4c0c5eb5a4119ab097b3ec77190a057bf81b945d (patch) | |
tree | 035f06347832e6225fa2b6829752c938ef9c6ca5 | |
parent | 04bdc9de85c0d55d7eb49dd06c4be5ec48333608 (diff) | |
download | mu-4c0c5eb5a4119ab097b3ec77190a057bf81b945d.tar.gz |
3329
Fix CI.
-rw-r--r-- | 018type_abbreviations.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/018type_abbreviations.cc b/018type_abbreviations.cc index 82f5c1ca..354de61d 100644 --- a/018type_abbreviations.cc +++ b/018type_abbreviations.cc @@ -1,11 +1,12 @@ //: For convenience, make some common types shorter. +:(scenarios transform) :(scenario type_abbreviations) type foo = number def main [ a:foo <- copy 34 ] -+run: {a: "number"} <- copy {34: "literal"} ++transform: product type after expanding abbreviations: "number" //:: Allow type abbreviations to be defined in mu code. @@ -107,7 +108,7 @@ type foo = address:number def main [ a:foo <- copy 0 ] -+run: {a: ("address" "number")} <- copy {0: "literal"} ++transform: product type after expanding abbreviations: ("address" "number") //:: A few default abbreviations. @@ -123,13 +124,12 @@ type foo = &:num def main [ a:foo <- copy 0 ] -+run: {a: ("address" "number")} <- copy {0: "literal"} ++transform: product type after expanding abbreviations: ("address" "number") //:: Expand type aliases before running. //: We'll do this in a transform so that we don't need to define abbreviations //: before we use them. -:(scenarios transform) :(scenario abbreviations_for_address_and_array) def main [ f 1:&:number # abbreviation for 'address:number' |