Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Sign up
Pro
-
LAMP / EPFL
- Switzerland
-
LAMP / EPFL
- Switzerland
Popular repositories
2,028 contributions in the last year
Activity overview
Contributed to
lampepfl/dotty,
lampepfl/xml-interpolator,
scala/vscode-scala-syntax
and 5 other
repositories
Contribution activity
August 2019
Created a pull request in lampepfl/dotty that received 13 comments
- Fix quoted-example-project sbt test
- Cleanup implementation of Reflection.let
- Create dotty-staging library
- Factor out staging from the core of scala.quoted
- Make toExprOfTuple produce tuples with precise types
- Fix #7052: Transform annotations in ReifyQuotes
- Fix #7013: Check PCP for all class references
- Tasty reflect symbols refactorings
- Fix #4730,#6992: Detect scope extrusions in `quoted.run` and fail-fast
- Fix #6997: Adapt quote type direct aliase to type splice
- Rebase scalatest community build on scalatest/3.1.x
- Fix do/while error message and add tests
- Remove NamedTermRef and NamedTypeRef
- Accept jars as input with -from-tasty
- Fix #6986: Add regression test
- Fix #6976: Improve macro exception stack handling
- toExprOfTuple method with precise types
- Add some tuple-related operations
- Fixes #7051 Detect typos in neg tests and give a warning
- Add rescue to support streamline error handling
- Fix comment for Var
- Add a Var abstraction in QuoteUtils
- Add toExprOfTuple in scala.quoted
- Adjust example and fix showExtractors note on tasty-reflect doc
- Fix #7008: dealias temporary types in pickling types
- Fix #7011: check possibly side-effecting transform
- Remove duplicate file, prevent sbt from compiling source files at root of project
- Add constructor for AppliedType
- Add empty case class params check. Add test.
- Drop do while
- [DOC] Add ScalaDays 2019 talks
- Drop per-run infrastructure
Created an issue in lampepfl/dotty that received 3 comments
Infer types from parameter with match type
minimized code def toExprOfTuple[T <: Tuple](tup: Tuple.Map[T, Expr]) given QuoteContext: Expr[T] = ??? def mcrImpl given (ctx: QuoteContext): Expr[A…
3
comments