From 4a63e33d60e02d421f693217d36ecd689208155d Mon Sep 17 00:00:00 2001 From: Ellie Hermaszewska Date: Wed, 11 Dec 2024 02:13:08 +0800 Subject: [PATCH] Correct proposal number (#5809) Co-authored-by: Yong He --- ...xtended-length-vectors.md => 014-extended-length-vectors.md} | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) rename docs/proposals/{13-extended-length-vectors.md => 014-extended-length-vectors.md} (99%) diff --git a/docs/proposals/13-extended-length-vectors.md b/docs/proposals/014-extended-length-vectors.md similarity index 99% rename from docs/proposals/13-extended-length-vectors.md rename to docs/proposals/014-extended-length-vectors.md index 3b0a2d190a..4dcc7f88fe 100644 --- a/docs/proposals/13-extended-length-vectors.md +++ b/docs/proposals/014-extended-length-vectors.md @@ -1,4 +1,4 @@ -# SP #13: Extended Length Vectors +# SP #014: Extended Length Vectors This proposal introduces support for vectors with 0 or more than 4 components in Slang, extending the current vector type system while maintaining compatibility