# JET.jl type checker does not update module (can Revise.jl help?)

**URL:** https://discourse.julialang.org/t/jet-jl-type-checker-does-not-update-module-can-revise-jl-help/68929
**Category:** General Usage
**Tags:** type, revise, jet
**Created:** [September 29, 2021, 12:57pm UTC](https://discourse.julialang.org/t/jet-jl-type-checker-does-not-update-module-can-revise-jl-help/68929 "2021-09-29T12:57:45Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![greatpet](https://avatars.discourse-cdn.com/v4/letter/g/e495f1/32.png) [@greatpet](https://discourse.julialang.org/u/greatpet)
#### Post date: [September 29, 2021, 12:57pm UTC](https://discourse.julialang.org/t/jet-jl-type-checker-does-not-update-module-can-revise-jl-help/68929/1 "2021-09-29T12:57:45Z")

</div>

Suppose I have a file `test.jl` which contains `using MyModule`. I use the type checker JET.jl with `report_file("test.jl")`. The main purpose is to perform type checking of the code in `MyModule`. However, when I update the code (in a separate file) that defines `MyModule` and run `report_file("test.jl")` again, all changes in the module are ignored, unless I restart Julia.

Can I use JET with Revise, or otherwise force JET to update the module?

P.S. I find JET.jl to be quite usable already. I tested with three small personal projects each with a few hundred lines of code. Two of them passed type checking on the first go (the codes were unit-tested long before), and a third project required a tiny change to pass the type checking.