Skip to content

Commit

Permalink
bundle more precompiled to improve runtime efficiency
Browse files Browse the repository at this point in the history
  • Loading branch information
Viir committed Dec 15, 2024
1 parent bbd3347 commit 766d4fc
Show file tree
Hide file tree
Showing 8 changed files with 15,715 additions and 12 deletions.
1,818 changes: 1,818 additions & 0 deletions implement/Pine.Core/PineVM/PopularExpression/Bytes.Encode.encodeCharAsBlob.json

Large diffs are not rendered by default.

Large diffs are not rendered by default.

1,150 changes: 1,150 additions & 0 deletions implement/Pine.Core/PineVM/PopularExpression/List.filterMapHelp.json

Large diffs are not rendered by default.

2,662 changes: 2,662 additions & 0 deletions implement/Pine.Core/PineVM/PopularExpression/String.linesHelper.json

Large diffs are not rendered by default.

9,003 changes: 9,003 additions & 0 deletions implement/Pine.Core/PineVM/PopularValue/Basics.idiv.exposed.json

Large diffs are not rendered by default.

Original file line number Diff line number Diff line change
Expand Up @@ -210,13 +210,19 @@ string (String chars) =

encodeCharsAsBlob : List Char -> Int
encodeCharsAsBlob chars =
if chars == [] then
-- 'concat' on an empty list would not yield a blob
emptyBlob
encodeCharsAsBlobHelp emptyBlob chars

else
Pine_kernel.concat
(List.map encodeCharAsBlob chars)

encodeCharsAsBlobHelp : Int -> List Char -> Int
encodeCharsAsBlobHelp acc chars =
case chars of
[] ->
acc

char :: rest ->
encodeCharsAsBlobHelp
(Pine_kernel.concat [ acc, encodeCharAsBlob char ])
rest


encodeCharAsBlob : Char -> Int
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -236,13 +236,19 @@ string (String chars) =
encodeCharsAsBlob : List Char -> Int
encodeCharsAsBlob chars =
if chars == [] then
-- 'concat' on an empty list would not yield a blob
emptyBlob
encodeCharsAsBlobHelp emptyBlob chars
else
Pine_kernel.concat
(List.map encodeCharAsBlob chars)
encodeCharsAsBlobHelp : Int -> List Char -> Int
encodeCharsAsBlobHelp acc chars =
case chars of
[] ->
acc
char :: rest ->
encodeCharsAsBlobHelp
(Pine_kernel.concat [ acc, encodeCharAsBlob char ])
rest
encodeCharAsBlob : Char -> Int
Expand Down
Loading

0 comments on commit 766d4fc

Please sign in to comment.