diff --git a/.gitignore b/.gitignore
index 35d131a..808161c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -38,6 +38,7 @@ project/plugins/project/
# VSCode
.vscode/
+.obsidian/
# BSP & Metals
.bsp/
diff --git a/README.md b/README.md
index a5319b5..c2f9fe1 100644
--- a/README.md
+++ b/README.md
@@ -55,8 +55,10 @@ We strongly recommend you to upgrade to Scala 2.13.6+ to benefit from active sup
### Build Matrix
| Version | Status | Compatibility |
-| -------------------------------- | ----------------------------------------------------------------------------------------------------------------------------------------------------------------- | --------------------------------------------------------------------------------------------- |
+|----------------------------------|-------------------------------------------------------------------------------------------------------------------------------------------------------------------|-----------------------------------------------------------------------------------------------|
| v1.x
(current) - latest | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
+| v1.0.3
(current) | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
+| v1.0.2
(current) | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
| v1.0.1
(current) | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
| v1.0.0
(current) | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
| v1.0.0-RC2
(current) | [](https://github.com/tek/splain/actions/workflows/main.yml) |  |
@@ -116,10 +118,10 @@ The plugin can be configured via compiler Options with the format:
| v0.x | built-in, v1.x | default value |
| ----------------- |-------------------------------------------|------------------|
-| `all` | (dropped) | |
+| `all` | `enabled` | true |
| `infix` | (dropped) | |
-| `foundreq` | `Vtype-diffs` | |
-| `implicits` | `Vimplicits` | |
+| `foundreq` | `Vtype-diffs` | false |
+| `implicits` | `Vimplicits` | false |
| `bounds` | (dropped) | false |
| `color` | (dropped) | |
| `breakinfix` | (dropped) | 0 |
@@ -323,6 +325,19 @@ The option `-P:splain:Vtype-detail:X` can take an integer from 1 to 6 to attach
- `5` = `4` + (**position** : type definition position in code)
- `6` = `5` + (**alias** : explain type aliases, this generally contains duplicate information with `3`, it is only included for completeness)
+For example:
+
+(`-P:splain:Vtype-detail:1`)
+
+```
+XXX.scala:15: error: type mismatch;
+ Test.F[Test.a.type|a.type]
+```
+
+(`-P:splain:Vtype-detail:6`)
+
+
+
In addition, multiple names of the detail kind (denoted by bold text in the above list) can be appended to the option value to enable it, e.g. `-P:splain:Vtype-detail:1,reduction,position` can attach type reduction process & type definition position while bypassing **long** and **existential**.
# type diffs detail (experimental)
@@ -336,6 +351,20 @@ The option `-P:splain:Vtype-diffs-detail:X` can take an integer from 1 to 4 to a
In addition, multiple names of the detail kind (denoted by bold text in the above list) can be appended to the option value to enable it, e.g. `-P:splain:Vtype-diffs-detail:1,builtIn` can attach built-in errors while bypassing **disambiguation**.
+For example:
+
+(`-P:splain:Vtype-diffs-detail:1`)
+
+```
+XXX.scala:16: error: implicit error;
+!I ev: Long =:= Long
+ Cannot prove that Long =:= Long.
+```
+
+(`-P:splain:Vtype-diffs-detail:4`)
+
+
+
# Development
## Bugs
@@ -356,34 +385,36 @@ The bug can thus be identified by the team quickly on our [continuous integratio
## How to compile
-### v0.x (from git branch Maintenance/master)
+### v1.x (from git branch master)
-Built with the latest stable [SBT](https://www.scala-sbt.org/). to compile and publish locally:
+Built with the latest [Gradle](https://gradle.org/), to compile and publish locally:
```
-sbt clean publishM2
+./gradlew clean testClasses publishToMavenLocal
```
to run all tests:
```
-sbt test
+./gradlew test
```
-### v1.x (from git branch master)
-Built with the latest [Gradle](https://gradle.org/), to compile and publish locally:
+### v0.x (from git branch Maintenance/master)
+
+Built with the latest stable [SBT](https://www.scala-sbt.org/). to compile and publish locally:
```
-./gradlew clean testClasses publishToMavenLocal
+sbt clean publishM2
```
to run all tests:
```
-./gradlew test
+sbt test
```
+
## How to edit
Most project contributors uses neovim, IntelliJ IDEA or visual studio code.
diff --git a/img/86df485f.png b/img/86df485f.png
new file mode 100644
index 0000000..11dba9d
Binary files /dev/null and b/img/86df485f.png differ
diff --git a/img/VtypeDetail.md b/img/VtypeDetail.md
new file mode 100644
index 0000000..ce10501
--- /dev/null
+++ b/img/VtypeDetail.md
@@ -0,0 +1,11 @@
+XXX.scala:15: error: type mismatch;
+
+- Test.F\[
+
+ - Test.a.type ()|a.type (with underlying type a.type) ()
+
+ -
+
+ - Test.AA
+
+- \]
\ No newline at end of file
diff --git a/img/VtypeDiffsDetail.md b/img/VtypeDiffsDetail.md
new file mode 100644
index 0000000..bdcb80b
--- /dev/null
+++ b/img/VtypeDiffsDetail.md
@@ -0,0 +1,13 @@
+XXX.scala:16: error: implicit error;
+
+- !I ev:
+
+ - Long() =:= scala.Long
+
+ - ――()
+
+ - found : Long(in method add)
+
+ - required: scala.Long
+
+ - Cannot prove that Long =:= Long.
\ No newline at end of file
diff --git a/img/bc959e77.png b/img/bc959e77.png
new file mode 100644
index 0000000..78ad56d
Binary files /dev/null and b/img/bc959e77.png differ