You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Sometimes it's necessary to pass parameters to macros untyped (e.g. if a parameter is a closure that refers to variables that are introduced by a macro). However, current implementation doesn't support this notion - all params are typechecked before the macro is expanded.
The text was updated successfully, but these errors were encountered:
@milessabin said (edited on Apr 20, 2012 7:49:39 PM UTC):
Another use-case for this is a compile-time test that a given expression should not compile. Eg. suppose we have a type class Foo[T] which should not have instances for String, then it would be highly desirable to be able to write a test of the form,
shouldNotCompile(implicitly[Foo[String]])
which typechecks iff implicitly[Foo[String]] does not typecheck.
Sometimes it's necessary to pass parameters to macros untyped (e.g. if a parameter is a closure that refers to variables that are introduced by a macro). However, current implementation doesn't support this notion - all params are typechecked before the macro is expanded.
The text was updated successfully, but these errors were encountered: