Fix typos in spec-docs
This commit is contained in:
committed by
Nikolay Krasko
parent
5d08df1bf7
commit
33961acb8d
@@ -198,7 +198,7 @@ b <- tmp2.component1()
|
|||||||
c <- tmp2.component2()
|
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.
|
Biggest issue: type inference for function literals.
|
||||||
|
|
||||||
@@ -226,8 +226,8 @@ TODO
|
|||||||
- what is the Java name of this parameter: `(a, b): Pair<A, B>`?
|
- what is the Java name of this parameter: `(a, b): Pair<A, B>`?
|
||||||
- maybe `a_b`
|
- maybe `a_b`
|
||||||
- make components available in default parameter values
|
- make components available in default parameter values
|
||||||
- create locals for components, assign values (on nested decompositions, avoid calling smae component twice)
|
- create locals for components, assign values (on nested decompositions, avoid calling the same component twice)
|
||||||
- make sure that funciton expressions are inlined as well as lambda expressions
|
- make sure that function expressions are inlined as well as lambda expressions
|
||||||
|
|
||||||
## IDE Changes
|
## IDE Changes
|
||||||
|
|
||||||
|
|||||||
@@ -58,7 +58,7 @@ Every class **must** have a constructor. The following is an error:
|
|||||||
class Parent
|
class Parent
|
||||||
class Child : 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
|
## Syntax for explicit constructors
|
||||||
|
|
||||||
```
|
```
|
||||||
|
|||||||
Reference in New Issue
Block a user