diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2024-10-21 23:20:57 +0200 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-21 23:20:57 +0200 |
| commit | e7d7ac0fd8b81c1d6fae9ab7c1e4654133c631ea (patch) | |
| tree | 4dc880e6956b42f0920382d772b49adc2a4ce556 /src/Language.hs | |
| parent | 246439502b78c4a8fcc27ab3296c67471a2b239d (diff) | |
Tests
Diffstat (limited to 'src/Language.hs')
| -rw-r--r-- | src/Language.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Language.hs b/src/Language.hs index cdc6d6b..80de713 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -1,4 +1,5 @@ {-# LANGUAGE DataKinds #-} +{-# LANGUAGE ExplicitForAll #-} {-# LANGUAGE OverloadedLabels #-} {-# LANGUAGE TypeOperators #-} module Language ( @@ -22,7 +23,7 @@ infixr 0 :-> body :: NExpr env t -> NFun env env t body = NBody -lambda :: Var name a -> NFun ('(name, a) : env) env' t -> NFun env env' t +lambda :: forall a name env env' t. Var name a -> NFun ('(name, a) : env) env' t -> NFun env env' t lambda = NLam |