Commit 8b15fc42 authored by David Feuer's avatar David Feuer Committed by David Feuer

Fix references in let/app invariant note

`mkCoreApp` and `mkCoreLet` have moved since the let/app invariant
note was written. Update the note to reflect that change.

[skip ci]

Test Plan: Read

Reviewers: austin, bgamari

Reviewed By: bgamari

Subscribers: thomie

Differential Revision:
parent 09bce7ac
......@@ -384,7 +384,8 @@ In this situation you should use @case@ rather than a @let@. The function
alternatively use 'MkCore.mkCoreLet' rather than this constructor directly,
which will generate a @case@ if necessary
Th let/app invariant is initially enforced by DsUtils.mkCoreLet and mkCoreApp
The let/app invariant is initially enforced by mkCoreLet and mkCoreApp in
Note [CoreSyn case invariants]
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment