1(* Copyright (C) 1997-2001 by Ken Friis Larsen and Jakob Lichtenberg. *) 2 3structure MuddyCore = 4struct 5 6open Dynlib 7 8local 9 val path = case Process.getEnv "MUDDYHOME" of 10 SOME p => Path.concat (p, "muddy.so") 11 | NONE => "muddy.so" 12 val path = Globals.HOLDIR^"/examples/muddy/muddyC/muddy.so" 13 val hdl = dlopen {lib = path, flag = RTLD_NOW, global = false} 14in 15 val symb = dlsym hdl 16 fun cur2 h (a,b) = app2 h a b 17 fun cur3 h (a,b,c) = app3 h a b c 18 fun cur23 h a (b,c) = app3 h a b c 19end 20 21end 22