search

stedolan / malfunction

Malfunctional Programming
Other
342 stars 19 forks source link

Provide access to additional search paths #13

Closed bobatkey closed 1 year ago

bobatkey commented 7 years ago

Malfunction is currently restricted to looking up identifiers on the standard OCaml search path, which limits malfunction programs to only accessing the standard library. It would be nice to be able to provide additional search paths to other .cmi files.

Extra nice would be ocamlfind integration.

stedolan commented 7 years ago

Apologies that it's taken me so long to respond! This is a very sensible feature request, which it's taking far too long for me to find time for.

yforster commented 1 year ago

I'd like to second this feature request :) We are basically done verifying extraction from Coq to Malfunction. Now to link with other OCaml libraries (e.g. with the OCaml implementation of Coq's primitive integers) being able to use an additional search path would be needed.

yforster commented 1 year ago

At least for our use case, this was covered by #35 now

stedolan commented 1 year ago

Closing, then, but reopen if #35 doesn't cover other uses.