Added Michael's comment

IntersectMBO · Oct 28, 2020 · b159058 · b159058
1 parent 989d278
commit b159058
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/plutus-core/src/Language/PlutusCore/Builtins.hs b/plutus-core/src/Language/PlutusCore/Builtins.hs
@@ -298,7 +298,9 @@ instance Serialise DefaultFun where
               go 24 = pure Trace
               go _  = fail "Failed to decode BuiltinName"
 
--- TODO: should we compute this from the number of builtins (which we can obtain)?
+-- It's set deliberately to give us "extra room" in the binary format to add things without running
+-- out of space for tags (expanding the space would change the binary format for people who're
+-- implementing it manually). So we have to set it manually.
 -- | Using 5 bits to encode builtin tags.
 builtinTagWidth :: NumBits
 builtinTagWidth = 5