| definition: |
poly2default :: Options -> CFuncDecl -> [(Bool,CFuncDecl)]
poly2default opts (CmtFunc _ name arity vis ftype rules) =
poly2default opts (CFunc name arity vis ftype rules)
poly2default opts fdecl@(CFunc (mn,fname) arity vis qftype rs)
| isPolyType ftype
= [(False,fdecl)
,(True, CFunc (mn,fname++defTypeSuffix) arity vis
(emptyClassType (poly2defaultType opts ftype))
[simpleRule [] (applyF (mn,fname) [])])
]
| otherwise
= [(True, CFunc (mn,fname) arity vis (CQualType clscon ftype) rs)]
where
CQualType clscon ftype = defaultQualType qftype
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
-- Generates auxiliary (base-type instantiated) test functions for -- polymorphically typed test function. -- The returned flag indicates whether the test function should actually -- be passed to the test tool. -- For instance, polymorphic proprerties are not tested, but only -- their type-instantiated variants. |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| name: |
poly2default |
| precedence: |
no precedence defined |
| result-values: |
{:}
|
| signature: |
CC.Options.Options -> AbstractCurry.Types.CFuncDecl -> [(Prelude.Bool, AbstractCurry.Types.CFuncDecl)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |