@@ -61,8 +61,7 @@ createScriptedDatabaseContextFunction :: DatabaseContextFunctionName -> [TypeCon
61createScriptedDatabaseContextFunction funcName argsIn retArg = AddDatabaseContextFunction funcName (argsIn ++ [databaseContextFunctionReturnType retArg])
61createScriptedDatabaseContextFunction funcName argsIn retArg = AddDatabaseContextFunction funcName (argsIn ++ [databaseContextFunctionReturnType retArg])
63loadDatabaseContextFunctions :: ModName -> FuncName -> FilePath -> IO (Either LoadSymbolError [DatabaseContextFunction])
63loadDatabaseContextFunctions :: ModName -> FuncName -> FilePath -> IO (Either LoadSymbolError [DatabaseContextFunction])
64−loadDatabaseContextFunctions modName funcName objPath = do
64+loadDatabaseContextFunctions = loadFunction
65− loadFunction modName funcName objPath
67databaseContextFunctionsAsRelation :: DatabaseContextFunctions -> Either RelationalError Relation
66databaseContextFunctionsAsRelation :: DatabaseContextFunctions -> Either RelationalError Relation
68databaseContextFunctionsAsRelation dbcFuncs = mkRelationFromList attrs tups
67databaseContextFunctionsAsRelation dbcFuncs = mkRelationFromList attrs tups
@@ -72,5 +71,5 @@ databaseContextFunctionsAsRelation dbcFuncs = mkRelationFromList attrs tups
72 tups = map dbcFuncToTuple (HS.toList dbcFuncs)
71 tups = map dbcFuncToTuple (HS.toList dbcFuncs)
73 dbcFuncToTuple func = [TextAtom (dbcFuncName func),
72 dbcFuncToTuple func = [TextAtom (dbcFuncName func),
74 TextAtom (dbcTextType (dbcFuncType func))]
73 TextAtom (dbcTextType (dbcFuncType func))]
75− dbcTextType typ = T.intercalate " -> " ((map prettyAtomType typ) ++ ["DatabaseContext", "DatabaseContext"])
74+ dbcTextType typ = T.intercalate " -> " (map prettyAtomType typ ++ ["DatabaseContext", "DatabaseContext"])