Trying some other optimizations beside type-infer (#130)

* opt: remove box

* use FunctionWrapper as Instruction

* another approach to add type info in

* toggle FunctionWrapper usage

* add return value type as TapedFunction's static parameter

* don't use inferred return type

* fix ir

* disable coverage when run tests

* Revert "fix ir"

This reverts commit 316d9f8.

* put getter/setter into box

* add TypedFunction

* inline functions

* compile tf

* fix parametiric type of tf

* revise code

Author: KDr2

.github/workflows/Testing.yaml

@@ -42,3 +42,5 @@ jobs:
             ${{ runner.os }}-
       - uses: julia-actions/julia-buildpkg@latest
       - uses: julia-actions/julia-runtest@latest
+        with:
+          coverage: false

Project.toml

@@ -7,6 +7,7 @@ version = "0.7.0"
 
 [deps]
 CodeInfoTools = "bc773b8a-8374-437a-b9f2-0e9785855863"
+FunctionWrappers = "069b7b12-0de2-55c6-9aab-29f3d0a68a2e"
 LRUCache = "8ac3fa9e-de4c-5943-b1dc-09c6b5f20637"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"

src/Libtask.jl

@@ -1,6 +1,7 @@
 module Libtask
 
 using CodeInfoTools
+using FunctionWrappers: FunctionWrapper
 using LRUCache
 
 export TapedTask, consume, produce