diff options
| author | Roman Smrž <roman.smrz@seznam.cz> | 2026-04-25 10:51:21 +0200 |
|---|---|---|
| committer | Roman Smrž <roman.smrz@seznam.cz> | 2026-04-25 15:22:59 +0200 |
| commit | 81d6d9f99ce8ea56df2c926156a3e3600a1a4117 (patch) | |
| tree | 4c61b3d51d7a7aa2da786053d10b74ca642467d6 /src/Script/Expr.hs | |
| parent | d361b5cb163316d4e0c56cab30301e18b548afff (diff) | |
Polymorphic types in function arguments
Diffstat (limited to 'src/Script/Expr.hs')
| -rw-r--r-- | src/Script/Expr.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Script/Expr.hs b/src/Script/Expr.hs index 06eb9f6..bbb6083 100644 --- a/src/Script/Expr.hs +++ b/src/Script/Expr.hs @@ -457,12 +457,12 @@ exprArgs = \case App {} -> error "exprArgs: app" Undefined {} -> error "exprArgs: undefined" -data SomeArgumentType = forall a. ExprType a => SomeArgumentType (ArgumentType a) +data SomeArgumentType = SomeArgumentType ArgumentType SomeExprType -data ArgumentType a +data ArgumentType = RequiredArgument | OptionalArgument - | ExprDefault (Expr a) + | ExprDefault SomeExpr | ContextDefault |