StrictnessPropagation.dcl 376 Bytes
Newer Older
1 2 3 4
definition module Sapl.Optimization.StrictnessPropagation

import Sapl.SaplParser, Sapl.Target.Flavour

5
:: IsStrictArgFun :== ParserState String Int Int -> Bool
6 7 8 9 10

// strict argument checker for Flavour file
isStrictArgFlavour :: !Flavour !ParserState !String !Int !Int -> Bool

doStrictnessPropagation :: !ParserState !IsStrictArgFun ![FuncType] -> (![FuncType], !ParserState)