From 584c623b6d2d735d412314b3dc11864398f3c7e7 Mon Sep 17 00:00:00 2001 From: Greg Pevnev Date: Sun, 19 Aug 2018 19:43:06 +0300 Subject: [PATCH 1/2] fixed typo from `InOn[On]` to `isOn[On]` --- docs/docs/reference/erased-terms.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/erased-terms.md b/docs/docs/reference/erased-terms.md index 116236fafb9b..1c0230569595 100644 --- a/docs/docs/reference/erased-terms.md +++ b/docs/docs/reference/erased-terms.md @@ -85,7 +85,7 @@ State machine with erased evidence example The following example is an extended implementation of a simple state machine which can be in a state `On` or `Off`. The machine can change state from `Off` to `On` with `turnedOn` only if it is currently `Off`, conversely from `On` to `Off` with `turnedOff` only if it is currently `On`. These last constraint are -captured with the `IsOff[S]` and `IsOn[S]` implicit evidence only exist for `IsOff[Off]` and `InOn[On]`. +captured with the `IsOff[S]` and `IsOn[S]` implicit evidence only exist for `IsOff[Off]` and `IsOn[On]`. For example, not allowing calling `turnedOff` on in an `Off` state as we would require an evidence `IsOn[Off]` that will not be found. From f3d84c5304cfdde062e13eae177f41236ea37c7d Mon Sep 17 00:00:00 2001 From: Greg Pevnev Date: Sun, 19 Aug 2018 19:54:25 +0300 Subject: [PATCH 2/2] fixed another typo --- docs/docs/reference/erased-terms.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/reference/erased-terms.md b/docs/docs/reference/erased-terms.md index 1c0230569595..b171bc5df691 100644 --- a/docs/docs/reference/erased-terms.md +++ b/docs/docs/reference/erased-terms.md @@ -112,7 +112,7 @@ object IsOff { @implicitNotFound("State is must be On") class IsOn[S <: State] object IsOn { - // def isOn will not exist at runtime, the compiler will only require that this evidence exists at compile time + // erased val isOn will not exist at runtime, the compiler will only require that this evidence exists at compile time erased implicit val isOn: IsOn[On] = new IsOn[On] }