Show array types as [T0]T1 instead of [T1; T0]

rose-lang · Sep 12, 2023 · c578241 · c578241
1 parent bba2b3f
commit c578241
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/crates/web/src/lib.rs b/crates/web/src/lib.rs
@@ -559,7 +559,7 @@ pub fn pprint(f: &Func) -> Result<String, JsError> {
             rose::Ty::Generic { id } => writeln!(&mut s, "G{}", id.generic())?,
             rose::Ty::Ref { inner } => writeln!(&mut s, "&T{}", inner.ty())?,
             rose::Ty::Array { index, elem } => {
-                writeln!(&mut s, "[T{}; T{}]", elem.ty(), index.ty())?
+                writeln!(&mut s, "[T{}]T{}", index.ty(), elem.ty())?
             }
             rose::Ty::Tuple { members } => {
                 write!(&mut s, "(")?;

diff --git a/packages/core/src/impl.test.ts b/packages/core/src/impl.test.ts
@@ -176,7 +176,7 @@ T1 = Bool
       `
 T0 = 3
 T1 = F64
-T2 = [T1; T0]
+T2 = [T0]T1
 (x0: T2, x1: T2) -> T2 {
   x6: T2 = for x2: T0 {
     x3: T1 = x0[x2]