diff options
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 |