diff options
Diffstat (limited to 'src/Script')
| -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 |