Mark Libtask.might_produce public. (#182)

* Update index.md

* Update internals.md

* Update Project.toml

* Update index.md

* Update index.md

Author: yebai

Project.toml

@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.0"
+version = "0.9.1"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"

docs/src/index.md

@@ -10,15 +10,22 @@ public interface of Libtask.jl.
 They divide neatly into two kinds of functions: those which are used to manipulate
 [`TapedTask`](@ref)s, and those which are intended to be used _inside_ a
 [`TapedTask`](@ref).
-First, manipulation of [`TapedTask`](@ref)s:
+
+## Manipulation of [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.consume
 Base.copy(::Libtask.TapedTask)
 Libtask.set_taped_globals!
 ```
 
-Functions for use inside a [`TapedTask`](@ref)s are:
+## Functions for use inside a [`TapedTask`](@ref)s:
 ```@docs; canonical=true
 Libtask.produce
 Libtask.get_taped_globals
 ```
+
+An opt-in mechanism marks functions that might contain `Libtask.produce` statements. 
+
+```@docs; canonical=true
+Libtask.might_produce(::Type{<:Tuple})
+```

docs/src/internals.md

@@ -3,7 +3,6 @@
 ```@docs; canonical=true
 Libtask.produce_value
 Libtask.is_produce_stmt
-Libtask.might_produce
 Libtask.stmt_might_produce
 Libtask.inc_args
 Libtask.get_type