Skip to content
GitLab
Projects Groups Topics Snippets
  • /
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Register
  • Sign in
  • C curry-tools
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributor statistics
    • Graph
    • Compare revisions
  • Issues 3
    • Issues 3
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 0
    • Merge requests 0
  • Deployments
    • Deployments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Analytics
    • Analytics
    • Value stream
    • Repository
  • Wiki
    • Wiki
  • Activity
  • Graph
  • Create a new issue
  • Commits
  • Issue Boards
Collapse sidebar
  • curry
  • curry-tools
  • Merge requests
  • !2

Merge in changes from curry package "socket"

  • Review changes

  • Download
  • Patches
  • Plain diff
Closed Kai Prott requested to merge ghc_7.8 into master Apr 01, 2019
  • Overview 1
  • Commits 1
  • Changes 2

Together with kics2!2 (merged) this fixes the issues with network-3.0.0 in ghc >= 7.8

"cypm update" worked just fine, so it seems like everything is working correctly

Edited Apr 01, 2019 by Kai Prott
Assignee
Assign to
Reviewers
Request review from
Time tracking
Source branch: ghc_7.8