Skip to content

Commit

Permalink
Update ravi-reference.rst
Browse files Browse the repository at this point in the history
  • Loading branch information
dibyendumajumdar committed Jul 28, 2018
1 parent 821db89 commit d3c7285
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion readthedocs/ravi-reference.rst
Original file line number Diff line number Diff line change
Expand Up @@ -34,7 +34,7 @@ The supported type annotations are as follows:
General Notes
-------------
* Assignments to type annotated variables are checked at compile time if possible; when the assignments occur due to a function call, runtime type checking is performed
* If function parameters are decorated with types, Ravi performs implicit type assertion checks against those parameters upon function entry. If the assertions fail then runtime errors are raised.
* If function parameters are decorated with types, Ravi performs implicit type assertion checks on those parameters upon function entry. If the assertions fail then runtime errors are raised.
* Even if a typed variable is captured in a closure Ravi requires that the types are respected
* To keep with Lua's dynamic nature Ravi uses a mix of compile type checking and runtime type checks. However in Lua, compilation happens at runtime anyway so effectively all checks are at runtime.

Expand Down

0 comments on commit d3c7285

Please sign in to comment.