about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-09-11 18:43:38 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-09-11 18:43:38 -0700
commit4c0c5eb5a4119ab097b3ec77190a057bf81b945d (patch)
tree035f06347832e6225fa2b6829752c938ef9c6ca5
parent04bdc9de85c0d55d7eb49dd06c4be5ec48333608 (diff)
downloadmu-4c0c5eb5a4119ab097b3ec77190a057bf81b945d.tar.gz
3329
Fix CI.
-rw-r--r--018type_abbreviations.cc8
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'