Commit Graph

9 Commits

Author SHA1 Message Date
Ari Fordsham
ed520491d4 Complete GHC 9 support and CI 2021-08-12 13:23:54 +01:00
Judah Jacobson
766dbae97c
Add kindedVar and take type parameters as HsTyVarBndr'. (#61)
Previously functions like `class'` and `data'` took their
type variables as `OccNameStr` which let them be passed
as overloaded strings; for example, `data' "Maybe" ["a"] ...`.
Now, they take them as `HsTyVarBndr'`, the same as `forall'`,
and can be constructed with, for example,
`data' "Maybe" [bvar "a"] ...`.

This approach lets them be constructed with either `bvar` (for regular
variables) or `kindedVar` (for kind signatures).

Original patch by ersran9@.
2020-02-03 08:23:30 -08:00
Judah Jacobson
316e9c28bc
Use the BVar class for patterns and type variable bindings. (#46)
Also make data/newtype declaration type parameters be OccNameStr.
2019-08-31 10:38:36 -07:00
Judah Jacobson
362eadc898
Replace matchRhs/matchRhs with match/matchGRHSs. (#26)
Optimize names for the common case taking just an expression
on the RHS.

Also for `valBind` and `patBind`.
2019-08-17 22:21:24 -07:00
Judah Jacobson
aaf1a43b9d
Construction of import/export items. (#20) 2019-07-28 20:29:26 -07:00
Judah Jacobson
f1e93651c9
Deriving clauses. (#17)
For now, no DerivingVia since it's not in every GHC version.
2019-07-28 18:04:59 -07:00
Judah Jacobson
5b02f333db
Rename guarded to guardedRhs. (#7) 2019-07-14 06:56:18 -07:00
Judah Jacobson
f0388f4748
Refactor matches/bindings to support patBind. (#6) 2019-07-14 06:40:18 -07:00
Judah Jacobson
1346ef0ca8 Initial commit. 2019-07-09 13:58:46 -07:00