Stuff on monadic wrappers for REPL

Toxaris / pts

Interpreter for functional pure type systems.

BSD 3-Clause "New" or "Revised" License

21 stars 7 forks source link

Stuff on monadic wrappers for REPL #84

Closed Blaisorblade closed 9 years ago

Blaisorblade commented 9 years ago

Shuffle around stuff. Gotta sleep on this, after dinner.

Blaisorblade commented 9 years ago

Travis said:

Loading package pts-0.1 ... linking ... ghc: /home/travis/build/Toxaris/pts/dist/build/libHSpts-0.1.a: unknown symbol `ptszm0zi1_PTSziInteractiveziRunners_runErrorsAndOpts1_closure'

I did forget a package in the cabal file, causing intermittent breakage, but I don't think I deserve such a low-level link error.

Anyway, fixed with a force push.

Blaisorblade commented 9 years ago

UPDATED: OK @Toxaris, I addressed your comment in the commit below (now in the right branch). Is the rest fine?