diff options
| author | Tom Smeding <tom@tomsmeding.com> | 2025-03-04 23:19:32 +0100 |
|---|---|---|
| committer | Tom Smeding <tom@tomsmeding.com> | 2025-03-04 23:19:32 +0100 |
| commit | c2cc922c7b56d17080aef1c6b41e2e98120dd7af (patch) | |
| tree | 1beeb9e8c411e0cdff57221a2e571f5b87d79b4d | |
| parent | 85423bf4d209f3d725d3b3fe53f5cd4054a13fe3 (diff) | |
Language: Specify type param order on let_
| -rw-r--r-- | src/Language.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Language.hs b/src/Language.hs index 810a889..d2eee7f 100644 --- a/src/Language.hs +++ b/src/Language.hs @@ -45,7 +45,7 @@ inline = inlineNFun (.$) = flip SCons -let_ :: Var name a -> NExpr env a -> NExpr ('(name, a) : env) t -> NExpr env t +let_ :: forall a t env name. Var name a -> NExpr env a -> NExpr ('(name, a) : env) t -> NExpr env t let_ = NELet pair :: NExpr env a -> NExpr env b -> NExpr env (TPair a b) |