A few base functions for analysing type dependencies in FlatCurry programs.
Author: Heiko Hoffmann, Michael Hanus
Version: Junes 2017
dependsDirectlyOnTypes
:: TypeDecl -> [(String,String)]
Return the type constructors occurring in a type declaration. |
callsDirectly
:: FuncDecl -> [(String,String)]
|
Return the type constructors occurring in a type declaration. |
|