search

emilaxelsson / syntactic

Generic representation and manipulation of abstract syntax
BSD 3-Clause "New" or "Revised" License
25 stars 13 forks source link

Add LANGUAGE annotations for ghci. #1

Closed pjonsson closed 10 years ago

pjonsson commented 10 years ago

These are partial annotations to get syntactic going under ghci together with feldspar. The reason the annotations are only partial is because of Feldspar-specific issues.

Please merge this patch to master too if it works.

emilaxelsson commented 10 years ago

Would it work to add a .ghci file in in your working directory (copy from Syntactic)? You can also put the extensions in your ~/.ghc/ghci.conf. (I've made sure that you only need to put harmless extensions in the configuration; UndecidableInstances, etc. are already turned on by pragmas.)

I prefer not to have to maintain those pragma lists with mostly redundant information, but if this is a big problem for you, I can merge your request.

pjonsson commented 10 years ago

My goal was to simultaneously change syntactic and feldspar without needing to sandbox, but that didn't work because of conflicts between instances. I'll close this for now.