stack safe list #2392
Merged
stack safe list #2392
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
|
Changes Unknown when pulling 375835d on stack_safe_list into ** on master**. |
bobzhang
commented
Dec 22, 2017
jscomp/others/bs_List.ml
Outdated
|
|
||
| type 'a t = 'a list | ||
|
|
||
| external mutableCell : 'a -> 'a t = "%makemutable" |
There was a problem hiding this comment.
this should be
external mutableCell : 'a -> 'a t -> 'a t = "%makemutable"
bobzhang
force-pushed
the
stack_safe_list
branch
from
375835d
to
862ef64
Compare
|
Changes Unknown when pulling 862ef64 on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 42ec161 on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 3aa4fde on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 435a03e on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 435a03e on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 6977cca on stack_safe_list into ** on master**. |
|
Changes Unknown when pulling 48ca164 on stack_safe_list into ** on master**. |
bobzhang
force-pushed
the
stack_safe_list
branch
from
48ca164
to
f1bac19
Compare
|
Changes Unknown when pulling f1bac19 on stack_safe_list into ** on master**. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
No description provided.