[hcoop/debian/mlton.git] / doc / guide / src / InsertSignalChecks.adoc

InsertSignalChecks
==================

<:InsertSignalChecks:> is a pass for the <:RSSA:>
<:IntermediateLanguage:>, invoked from <:RSSASimplify:>.

== Description ==

This pass inserts signal checks.

== Implementation ==

* <!ViewGitFile(mlton,master,mlton/backend/limit-check.fun)>

== Details and Notes ==

{empty}
Commit	Line	Data
7f918cf1 CE	1	InsertSignalChecks
	2	==================
	3
	4	<:InsertSignalChecks:> is a pass for the <:RSSA:>
	5	<:IntermediateLanguage:>, invoked from <:RSSASimplify:>.
	6
	7	== Description ==
	8
	9	This pass inserts signal checks.
	10
	11	== Implementation ==
	12
	13	* <!ViewGitFile(mlton,master,mlton/backend/limit-check.fun)>
	14
	15	== Details and Notes ==
	16
	17	{empty}