curry-frontend merge requestshttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests2020-10-23T16:21:10Zhttps://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/25Add library target and specify Git-dependency on curry-base2020-10-23T16:21:10ZFredrik WieczerkowskiAdd library target and specify Git-dependency on curry-base### Fixes #88 and #89.
This PR splits the frontend into a library and an executable target, thereby making the frontend easier to embed into other applications (such as `curry-language-server`).
Additionally, it adds a `cabal.project` ...### Fixes #88 and #89.
This PR splits the frontend into a library and an executable target, thereby making the frontend easier to embed into other applications (such as `curry-language-server`).
Additionally, it adds a `cabal.project` file specifying `curry-base` as a source repository to make the build more reproducible.
More details can be found in the accompanying issues.https://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/24Clean up the .cabal file2020-10-23T16:24:02ZJan-Hendrik MatthesClean up the .cabal fileThis merge request cleans up the `.cabal` file and fixes some errors with more recent Cabal versions.This merge request cleans up the `.cabal` file and fixes some errors with more recent Cabal versions.https://git.ps.informatik.uni-kiel.de/curry/curry-frontend/-/merge_requests/18Explicitly quantify free type variables of type signatures in FlatCurry2020-01-31T12:06:28ZJan-Hendrik MatthesExplicitly quantify free type variables of type signatures in FlatCurryWith this merge request the types of function definitions are now closed in the FlatCurry representation. This means that all type variables are explicitly universally quantified in the type.
Furthermore all types are now in prenex fo...With this merge request the types of function definitions are now closed in the FlatCurry representation. This means that all type variables are explicitly universally quantified in the type.
Furthermore all types are now in prenex form.
Closes #67