Merge pull request #50 from KacperFKorban/update-docs

Update docs

README.md

@@ -55,3 +55,17 @@ def run =
 ## Demo
 
 ![GUInep_classes_demo](https://github.com/KacperFKorban/GUInep/assets/39772805/556b6c1b-ea72-4089-8cbd-16f680484177)
+
+## Current limitations
+
+Currently GUInep doesn't support:
+- Functions with multiple parameter lists (and by extension - extension methods) - https://github.com/KacperFKorban/GUInep/issues/33
+- Fancier GADTs with unobvious inheritance, type bounds and variance - https://github.com/KacperFKorban/GUInep/issues/30
+- Union and intersection types - https://github.com/KacperFKorban/GUInep/issues/44
+- Opaque types - https://github.com/KacperFKorban/GUInep/issues/49
+
+## Contributing
+
+If you have any ideas on how to improve GUInep, feel free to open an issue.
+
+All bug reports and feature requests are highly appreciated.

guinep/src/main/scala/macros.scala

@@ -27,12 +27,10 @@ private[guinep] object macros {
     }
 
     private def wrongParamsListError(f: Expr[Any]): Nothing =
-      report.errorAndAbort(s"Wrong params list, expected a function reference, got: ${f.show}", f.asTerm.pos)
+      report.errorAndAbort(s"Wrong parameters list, expected a function reference, got: ${f.show}", f.asTerm.pos)
 
-    private def unsupportedFunctionParamType(t: TypeRepr, pos: Option[Position] = None): Nothing = pos match {
-      case Some(p) => report.errorAndAbort(s"Unsupported function param type: ${t.show}", p)
-      case None => report.errorAndAbort(s"Unsupported function param type: ${t.show}")
-    }
+    private def unsupportedFunctionParamType(t: TypeRepr): Nothing =
+      report.errorAndAbort(s"Unsupported function parameter type: ${t.show}")
 
     extension (t: Term)
       private def select(s: Term): Term = Select(t, s.symbol)
@@ -345,7 +343,7 @@ private[guinep] object macros {
             )
           }
         case _ =>
-          unsupportedFunctionParamType(paramTpe, Some(param.pos))
+          unsupportedFunctionParamType(paramTpe)
       }
     }