equal
deleted
inserted
replaced
31 arguments in code equations to determine how many arguments |
31 arguments in code equations to determine how many arguments |
32 shall be tupled; remaining arguments and abstractions in terms |
32 shall be tupled; remaining arguments and abstractions in terms |
33 rather than function definitions are always curried. |
33 rather than function definitions are always curried. |
34 |
34 |
35 The second aspect affects user-defined adaptations with @{command |
35 The second aspect affects user-defined adaptations with @{command |
36 code_const}. For regular terms, the @{text Scala} serializer prints |
36 code_printing}. For regular terms, the @{text Scala} serializer prints |
37 all type arguments explicitly. For user-defined term adaptations |
37 all type arguments explicitly. For user-defined term adaptations |
38 this is only possible for adaptations which take no arguments: here |
38 this is only possible for adaptations which take no arguments: here |
39 the type arguments are just appended. Otherwise they are ignored; |
39 the type arguments are just appended. Otherwise they are ignored; |
40 hence user-defined adaptations for polymorphic constants have to be |
40 hence user-defined adaptations for polymorphic constants have to be |
41 designed very carefully to avoid ambiguity. |
41 designed very carefully to avoid ambiguity. |