> Do you have any program transformation DSL to make things easier? Or > quickcheck tests or anything to make things easier?
I'm not sure I follow how these would make the port easier? We don't have a DSL, but we do have a very sophisticated API: http://www.cs.kent.ac.uk/projects/refactor-fp/hare/API_Doc/RefacUtils.html There has been some work done by Huiqing to generate test cases using Quickcheck for Erlang refactoring: http://www.cs.kent.ac.uk/pubs/2007/2648/index.html Chris. > > > On 18 mar 2008, at 11.28, C.M.Brown wrote: > > > Hi Nikolas, > > > >> I supppose you're talking about HaRe, that Thomas Schilling linked > >> to. > >> I have no idea how that system is built so I can't answer your > >> question. But in principle I don't see why not. :-) > > > > In principle it would actually be quite difficult. HaRe is Haskell 98, > > built upon the Programatica front end, and to use extensions would > > mean a > > port to a system that has extensions (ghc say) and a re-evaluation > > of all > > the current refactorings so that they work over extensions as well. > > > > Porting to a system like GHC would require an almost complete re- > > engineering of HaRe, and, > > although simple in theory, in practice it has so far presented some > > problems. With the exposure of the GHC API though, we hope to > > address this > > issue in the near future. > > > > > > Kind regards, > > Chris. > > _______________________________________________ > > Haskell-Cafe mailing list > > Haskell-Cafe@haskell.org > > http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe