Display free as _

JonathanBrouwer · JonathanBrouwer · commit 950d832c9b46 · 2026-02-21T11:14:14.000+01:00
diff --git a/prism_compiler/src/lang/display.rs b/prism_compiler/src/lang/display.rs
@@ -70,7 +70,7 @@ impl PrismDb {
                 write!(w, " ")?;
                 self.display(b, w, PrecedenceLevel::Base)?;
             }
-            CorePrismExpr::Free => write!(w, "{{{}}}", i.0)?,
+            CorePrismExpr::Free => write!(w, "_")?,
             &CorePrismExpr::Shift(v, i) => {
                 write!(w, "([SHIFT {i}] ")?;
                 self.display(v, w, PrecedenceLevel::default())?;
diff --git a/prism_compiler/src/parser/mod.rs b/prism_compiler/src/parser/mod.rs
@@ -166,7 +166,6 @@ impl<'a> ParserPrismEnv<'a> {
                 body = self.store(CorePrismExpr::FnConstruct(body), span);
             }
 
-            eprintln!("{}", self.db.index_to_sm_string(body));
             Ok(body)
         } else {
             self.parse_fntype(env)
diff --git a/prism_compiler/uitests/edge_cases/_results/infinite_type.pr.stderr b/prism_compiler/uitests/edge_cases/_results/infinite_type.pr.stderr
@@ -2,7 +2,7 @@ error[ExpectedFnArg]: Argument type mismatch in function application
  --> ./uitests/edge_cases/infinite_type.pr:1:13
   |
 1 | (v: _) -> v v (v Type)
-  |             ^ Found an argument of type: Type -> {30}
+  |             ^ Found an argument of type: Type -> _
   |
  ::: ./uitests/edge_cases/infinite_type.pr:1:11
   |
diff --git a/prism_compiler/uitests/free/_results/fn_type.pr.eval b/prism_compiler/uitests/free/_results/fn_type.pr.eval
@@ -0,0 +1 @@
+_ -> _
diff --git a/prism_compiler/uitests/free/_results/fn_type.pr.type b/prism_compiler/uitests/free/_results/fn_type.pr.type
@@ -0,0 +1 @@
+Type
diff --git a/prism_compiler/uitests/free/_results/free5.pr.eval b/prism_compiler/uitests/free/_results/free5.pr.eval
@@ -1 +1 @@
-{50}
+_
diff --git a/prism_compiler/uitests/free/_results/free5.pr.type b/prism_compiler/uitests/free/_results/free5.pr.type
@@ -1,3 +1,3 @@
 let Type;
 let #0;
-{45}
+_
diff --git a/prism_compiler/uitests/free/_results/free6.pr.eval b/prism_compiler/uitests/free/_results/free6.pr.eval
@@ -1 +1 @@
-(Type -> Type) -> {51} {52} #0
+(Type -> Type) -> _ _ #0
diff --git a/prism_compiler/uitests/free/fn_type.pr b/prism_compiler/uitests/free/fn_type.pr
@@ -0,0 +1 @@
+_ -> _
diff --git a/prism_compiler/uitests/simple/_results/fn_construct.pr.type b/prism_compiler/uitests/simple/_results/fn_construct.pr.type
@@ -1 +1 @@
-{8} -> {9}
+_ -> _
diff --git a/prism_compiler/uitests/simple/_results/fn_syntax.pr.type b/prism_compiler/uitests/simple/_results/fn_syntax.pr.type
@@ -15,6 +15,6 @@ let => => (let #0: Type;
 #0);
 let => => (let #0: Type;
 => #3 #1);
-(Type -> {293}) -> Type -> (let #0: Type;
-{299} -> (let #1;
-{301}))
+(Type -> _) -> Type -> (let #0: Type;
+_ -> (let #1;
+_))

Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ impl PrismDb {`
`70`	`70`	`write!(w, " ")?;`
`71`	`71`	`self.display(b, w, PrecedenceLevel::Base)?;`
`72`	`72`	`}`
`73`		`- CorePrismExpr::Free => write!(w, "{{{}}}", i.0)?,`
	`73`	`+ CorePrismExpr::Free => write!(w, "_")?,`
`74`	`74`	`&CorePrismExpr::Shift(v, i) => {`
`75`	`75`	`write!(w, "([SHIFT {i}] ")?;`
`76`	`76`	`self.display(v, w, PrecedenceLevel::default())?;`
Original file line number	Diff line number	Diff line change
`@@ -166,7 +166,6 @@ impl<'a> ParserPrismEnv<'a> {`
`166`	`166`	`body = self.store(CorePrismExpr::FnConstruct(body), span);`
`167`	`167`	`}`
`168`	`168`
`169`		`- eprintln!("{}", self.db.index_to_sm_string(body));`
`170`	`169`	`Ok(body)`
`171`	`170`	`} else {`
`172`	`171`	`self.parse_fntype(env)`
Original file line number	Diff line number	Diff line change
`@@ -2,7 +2,7 @@ error[ExpectedFnArg]: Argument type mismatch in function application`
`2`	`2`	`--> ./uitests/edge_cases/infinite_type.pr:1:13`
`3`	`3`	`\|`
`4`	`4`	`1 \| (v: _) -> v v (v Type)`
`5`		`- \| ^ Found an argument of type: Type -> {30}`
	`5`	`+ \| ^ Found an argument of type: Type -> _`
`6`	`6`	`\|`
`7`	`7`	`::: ./uitests/edge_cases/infinite_type.pr:1:11`
`8`	`8`	`\|`
-Original file line number
+Diff line change
@@ @@ -1,3 +1,3 @@ @@
 let Type;
 let #0;
 -{45}
 +_
Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-(Type -> Type) -> {51} {52} #0`
	`1`	`+(Type -> Type) -> _ _ #0`