Skip to content

Instantly share code, notes, and snippets.

@andrewray

andrewray/gist:572ad71a051d2aa995c8

Created September 2, 2014 18:17
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save andrewray/572ad71a051d2aa995c8 to your computer and use it in GitHub Desktop.
Save andrewray/572ad71a051d2aa995c8 to your computer and use it in GitHub Desktop.
Download ZIP
opam-improved-error depends patch
Raw
gistfile1.txt
diff --git a/.depend b/.depend
index 8d35f6c..9e67499 100644
--- a/.depend
+++ b/.depend
@@ -80,7 +80,7 @@ parsing/printast.cmx : parsing/parsetree.cmi parsing/longident.cmx \
parsing/syntaxerr.cmo : parsing/location.cmi parsing/syntaxerr.cmi
parsing/syntaxerr.cmx : parsing/location.cmx parsing/syntaxerr.cmi
typing/annot.cmi : parsing/location.cmi
-typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi
+typing/btype.cmi : typing/types.cmi typing/path.cmi parsing/asttypes.cmi typing/typedtree.cmi
typing/cmi_format.cmi : typing/types.cmi
typing/cmt_format.cmi : typing/types.cmi typing/typedtree.cmi \
parsing/location.cmi typing/env.cmi typing/cmi_format.cmi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment