Update docs/docs/reference/metaprogramming/inline.md

robstoll · nicolasstucki · web-flow · commit 8f6c2bf49535 · 2019-09-29T22:32:38.000+02:00
Co-Authored-By: Nicolas Stucki &lt;nicolas.stucki@gmail.com&gt;
diff --git a/docs/docs/reference/metaprogramming/inline.md b/docs/docs/reference/metaprogramming/inline.md
@@ -285,7 +285,7 @@ inline def toInt(n: Nat) <: Int = inline n match {
   case Succ(n1) => toInt(n1) + 1
 }
 
-val natTwo = toInt(Succ(Succ(Zero)))
+final val natTwo = toInt(Succ(Succ(Zero)))
 val intTwo: 2 = natTwo
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -285,7 +285,7 @@ inline def toInt(n: Nat) <: Int = inline n match {`
`285`	`285`	`case Succ(n1) => toInt(n1) + 1`
`286`	`286`	`}`
`287`	`287`
`288`		`-val natTwo = toInt(Succ(Succ(Zero)))`
	`288`	`+final val natTwo = toInt(Succ(Succ(Zero)))`
`289`	`289`	`val intTwo: 2 = natTwo`
`290`	`290`	```
`291`	`291`