Skip to content

Commit 0c9db88

Browse files
committed
Work around the spec check __info__ spec bug
1 parent 1feefd3 commit 0c9db88

File tree

2 files changed

+2
-0
lines changed

2 files changed

+2
-0
lines changed

examples/typed_gen_server/lib/typed_gen_server/stage2.ex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,7 @@ defmodule Test.TypedGenServer.Stage2.Server do
8080

8181
## Typecheck with:
8282
## recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage2.Server ), [:infer])
83+
## recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage2.Server ), [:infer, ex_check: false])
8384

8485
@spec test :: any()
8586
def test do

examples/typed_gen_server/lib/typed_gen_server/stage4.ex

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -85,6 +85,7 @@ defmodule Test.TypedGenServer.Stage4.Server do
8585

8686
## Typecheck with:
8787
## recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage4.Server ), [:infer])
88+
## recompile(); Gradient.type_check_file(:code.which( Test.TypedGenServer.Stage4.Server ), [:infer, ex_check: false])
8889

8990
@spec test :: any()
9091
def test do

0 commit comments

Comments
 (0)