Changes
Summary
- Changes the interpreter startup (commit: e7a1016) (details)
- [maven-release-plugin] prepare for next development iteration (commit: 42ea313) (details)
- Prevent looping type resolution, fixes #735 (commit: b576a75) (details)
- Better approach to recursive type resolution errors, fixes #735 (commit: 05d176e) (details)
- Replaces the 2019-12 repositories with the 2020-09 ones (commit: 596cf18) (details)
- BUMPS the Eclipse version from 2019-12 to 2020-09 (commit: 4191f2c) (details)
- Upgrades Tycho version (commit: d544553) (details)
- Put let RHS functional checks within -strict flag (commit: 8791e1f) (details)
- Adds strict option to the launch configuration (commit: 915dddc) (details)
- Adds strict flag parsing to the interpreter command line (commit: db2d546) (details)
- Adds use let def strict option to the project properties (commit: bca2a6a) (details)
- Change warning number for let def impure operations (commit: f762e74) (details)
- Added warnings for threadid, time and new expressions in function ctxts (commit: b9ea923) (details)
- Fix FunctionValue comparisons to cope with free variables, fixes #739 (commit: 56b873f) (details)
- Added warning for function value comparisons, fixes #739 (commit: 90c955f) (details)
- Changes message on project settings (commit: db9f31e) (details)
- Adds strict checking to the parser/tc settings (commit: e6f41cf) (details)
- Fixes a bug preventing the display of warnings (commit: 90e0da5) (details)
- Pass element type into typecheck of set comprehensions, fixes #728 (commit: 253f4ba) (details)
- Fix the type definitions for pre and post conditions, fixes #740 (commit: e5b2e9f) (details)
- Use re-stated types in definition imports (see #760) (commit: bd2643b) (details)
- Avoids sending an empty internal tag causing troubles in the response parsing (commit: f2b2a6a) (details)
- Resumes a single thread only (commit: 79517f0) (details)
- Updates the view when a thread is waiting (commit: 89d3ef8) (details)
- Check for invariant types when converting function values, fixes #761 (commit: b42facd) (details)
- Correct check of function parameter patterns and arguments, fixes #762 (commit: 656ece8) (details)
- Adds a check to avoid managing the console of external tools. Fixes #763 (commit: ab7de77) (details)
- Prepare Release 3.0.2 (commit: 0a7e3f3) (details)
- Adjusts versions (commit: 95e6f39) (details)
- [maven-release-plugin] prepare release Release/3.0.2 (commit: cafcbab) (details)