Skip to content
Snippets Groups Projects
Commit 0dfb1fa7 authored by Vladislav Zavialov's avatar Vladislav Zavialov Committed by Marge Bot
Browse files

T2T in Expressions (#23738) 

This patch implements the T2T (term-to-type) transformation in
expressions. Given a function with a required type argument
	vfun :: forall a -> ...

the user can now call it as
	vfun (Maybe Int)

instead of
	vfun (type (Maybe Int))

The Maybe Int argument is parsed and renamed as a term (HsExpr), but then
undergoes a conversion to a type (HsType).
See the new function expr_to_type in compiler/GHC/Tc/Gen/App.hs
and Note [RequiredTypeArguments and the T2T mapping]

Left as future work: checking for puns.
parent 6755d833
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 430 additions and 30 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment