And the version of Tuareg is the one from opam? Did you try Christophe's suggestion of getting the HEAD release?
y On Mon, Jan 26, 2015 at 10:02 AM, Greg Morrisett <[email protected]> wrote: > One possible difference is that I’m using MacPorts instead of > Homebrew. But I’m not sure why that would cause these problems. > I explicitly downloaded the latest (binary) versions of both > emacs and aquamacs. > > -Greg > >> On Jan 26, 2015, at 10:00 AM, Greg Morrisett <[email protected]> wrote: >> >> The emacs version is 24.4.1. The .emacs file is the one you sent >> me. When I fire this up, font-lock-mode is enabled, but nothing >> is colorized when I load a .ml file. If I explicitly font-lock- >> fontify-buffer, and then type anything, I get the error message: >> >> Symbol’s function definition is void: tuareg-syntax-propertize >> >> I’m going to try the most recent head of tuareg to see if this >> fixes the problem. >> >> (NB: same behavior under latest Aquamacs.) >> >> -Greg >> >>> On Jan 23, 2015, at 8:54 PM, Yaron Minsky <[email protected]> wrote: >>> >>> Hmm. Really can't replicate the problem --- font-lock works fine for >>> me. Greg, can you email out your full .emacs? And double-check the >>> version of emacs your running? >>> >>> y >>> >>> On Fri, Jan 23, 2015 at 6:35 PM, Yaron Minsky <[email protected]> >>> wrote: >>>> That's odd. I'll look at this this weekend. >>>> >>>> y >>>> >>>> On Jan 23, 2015 11:07 AM, "Greg Morrisett" <[email protected]> wrote: >>>>> >>>>> Thanks. >>>>> >>>>> Your dot-emacs and dot-merlin work (with tuareg-2.0.8 which >>>>> is what opam installs now.) >>>>> >>>>> However, font lock mode doesn’t automatically trigger on either >>>>> emacs or aquamacs, in spite of the fact that I added: >>>>> >>>>> (global-font-lock-mode t) >>>>> >>>>> If I add a hook to try to explicitly turn on font-lock: >>>>> >>>>> (add-hook 'tuareg-mode-hook 'font-lock-fontify-buffer t) >>>>> >>>>> then I get the error: >>>>> >>>>> Warning: Bug in tuareg-mode: it forgets to call `run-mode-hooks' >>>>> File mode specification error: (void-function tuareg-syntax-propertize) >>>>> >>>>> -Greg >>>>> >>>>>> On Jan 22, 2015, at 9:58 PM, Yaron Minsky <[email protected]> >>>>>> wrote: >>>>>> >>>>>> In the meantime, I've attached a dot-emacs and dot-merlin files that I >>>>>> think work nicely on a mac. The one thing you need to do is to add >>>>>> this line to your .profile file: >>>>>> >>>>>> eval `opam config env` >>>>>> >>>>>> The dot emacs depends on this being in place for figuring out where to >>>>>> find all the executables stashed in the .opam directory. >>>>>> >>>>>> The pre-reqs for this to work is getting tuareg downloaded and in the >>>>>> proper path (right now, I assume ~/.elisp/tuareg-mode), and installing >>>>>> some opam packages: >>>>>> >>>>>> opam install core async merlin utop ocp-indent >>>>>> >>>>>> This should give you merlin, ocp-indent, tuareg, and utop support, all >>>>>> nicely integrated. Note that the .merlin file needs to go in the >>>>>> directory where you're editing code (and really, in every directory >>>>>> where you're editing code.) And the .merlin assumes that you're using >>>>>> ocamlbuild (or corebuild) and so are putting your build artifacts in >>>>>> _build. >>>>>> >>>>>> I'm hoping this is helpful. >>>>>> >>>>>> y >>>>>> >>>>>> On Thu, Jan 22, 2015 at 8:42 PM, Yaron Minsky <[email protected]> >>>>>> wrote: >>>>>>> On Thu, Jan 22, 2015 at 8:25 PM, Louis Gesbert >>>>>>> <[email protected]> wrote: >>>>>>>> Thanks for the feedback. It's probably still a bit rough at the moment >>>>>>>> but the config-updating engine is there, and polishing configuration >>>>>>>> itself >>>>>>>> from there should be straight-forward (and never-ending). >>>>>>> >>>>>>> Indeed. Now I think is the time to really focus on getting it >>>>>>> working, because this is the beginning of the semester, and so now is >>>>>>> the most valuable time to have something working cleanly. >>>>>>> >>>>>>> It would be good to know what we have there now. It seems like a >>>>>>> minimum should be: >>>>>>> >>>>>>> - tuareg >>>>>>> - merlin >>>>>>> - ocp-indent >>>>>>> - utop >>>>>>> >>>>>>> all read to go in emacs. Getting vim and sublime text support would >>>>>>> be lovely too, but I think less critical. What does user-setup >>>>>>> already support? >>>>>>> >>>>>>>> The idea, with this and the "depext" package is to have a setup that >>>>>>>> can be limited to: >>>>>>>> >>>>>>>> PACKAGES="user-setup merlin utop cohttp js_of_ocaml oasis >>>>>>>> ocp-indent ocp-index ssl core_extended async js_of_ocaml core_bench >>>>>>>> cohttp >>>>>>>> cryptokit menhir" >>>>>>>> opam init -a >>>>>>>> opam install depext >>>>>>>> opam depext $PACKAGES >>>>>>>> opam install $PACKAGES >>>>>>>> >>>>>>>> and results in a ready-to-go environment. This is in particular >>>>>>>> targetted at VM setup, of course. >>>>>>> >>>>>>> Interesting. Concretely, what would would depext do in this context? >>>>>>> I did a fresh install of a number of packages on my mac, and I didn't >>>>>>> need much else, but I may have already had the dependencies in place >>>>>>> via brew. >>>>>>> >>>>>>> y >>>>>>> >>>>>>>>> - Yaron Minsky, 22/01/2015 10:56 - >>>>>>>>> It installed cleanly for me, but it doesn't quite work. I installed >>>>>>>>> user-setup, merlin, ocp-indent, tuareg, utop, core and async. It all >>>>>>>>> went through, but when I open a .ml file, it shows up in lisp mode, >>>>>>>>> not tuareg. >>>>>>>> >>>>>>>> Seems it doesn't handle the opam-installed tuareg package well at the >>>>>>>> moment, should be fixed in a moment. >>>>>>>> >>>>>>>>> On Thu, Jan 22, 2015 at 10:54 AM, Greg Morrisett >>>>>>>>> <[email protected]> wrote: >>>>>>>>>> Okay, I just followed these steps: >>>>>>>>>>> >>>>>>>>>>> opam update >>>>>>>>>>> opam install user-setup >>>>>>>>>> >>>>>>>>>> and it seems to be hanging. Is there a log file or >>>>>>>>>> other config information that I can send you to help >>>>>>>>>> figure this out? >>>>>>>> >>>>>>>> Thanks. I just managed to reproduce on OPAM 1.1 and hope to fix it >>>>>>>> quickly. >>>>>>> >>>>>>> Greg, it's also probably a good idea to encourage your students to >>>>>>> upgrade to the latest opam if they're on a mac. Homebrew is pretty >>>>>>> lightweight, and has opam 1.2.0. >>>>>>> >>>>>>> y >>>>>> <dot-emacs><dot-merlin> >>>>> >>>> >> >> _______________________________________________ >> Teaching mailing list >> [email protected] >> http://lists.ocaml.org/listinfo/teaching > _______________________________________________ Teaching mailing list [email protected] http://lists.ocaml.org/listinfo/teaching
