From 33961acb8d30b14961de0f9792dfa6fc8248e1ae Mon Sep 17 00:00:00 2001 From: Marcin Moskala Date: Sun, 25 Nov 2018 23:23:45 +0300 Subject: [PATCH] Fix typos in spec-docs --- spec-docs/multi-declarations-in-parameters.md | 6 +++--- spec-docs/secondary-constructors.md | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/spec-docs/multi-declarations-in-parameters.md b/spec-docs/multi-declarations-in-parameters.md index b89e1615b1a..6e7376d1b1e 100644 --- a/spec-docs/multi-declarations-in-parameters.md +++ b/spec-docs/multi-declarations-in-parameters.md @@ -198,7 +198,7 @@ b <- tmp2.component1() c <- tmp2.component2() ``` -If some of the types of `a`, `b` or `c` are specified, teh front-end verifies that respective component fucntion results match the expected types. +If some of the types of `a`, `b` or `c` are specified, then front-end verifies that respective component function results match the expected types. Biggest issue: type inference for function literals. @@ -226,8 +226,8 @@ TODO - what is the Java name of this parameter: `(a, b): Pair`? - maybe `a_b` - make components available in default parameter values -- create locals for components, assign values (on nested decompositions, avoid calling smae component twice) -- make sure that funciton expressions are inlined as well as lambda expressions +- create locals for components, assign values (on nested decompositions, avoid calling the same component twice) +- make sure that function expressions are inlined as well as lambda expressions ## IDE Changes diff --git a/spec-docs/secondary-constructors.md b/spec-docs/secondary-constructors.md index e54b5c647f7..89da6256d57 100644 --- a/spec-docs/secondary-constructors.md +++ b/spec-docs/secondary-constructors.md @@ -58,7 +58,7 @@ Every class **must** have a constructor. The following is an error: class Parent class Child : Parent { } ``` -The error is: "superclass must be initialized". This class has a primary constructor, but does not initialize its superclass in teh class header. +The error is: "superclass must be initialized". This class has a primary constructor, but does not initialize its superclass in the class header. ## Syntax for explicit constructors ```