{
  "$type": "site.standard.document",
  "bskyPostRef": {
    "cid": "bafyreiftfu5wuedcj3b43e5xlnd5usfz4lljd4wga57fe2umorbivmtc6i",
    "uri": "at://did:plc:pi6woz4d47bkuws673w2il2r/app.bsky.feed.post/3mkat2r3x2rt2"
  },
  "path": "/t/pure-borrow-linear-haskell-meets-rust-style-borrowing/13975#post_7",
  "publishedAt": "2026-04-24T13:51:25.000Z",
  "site": "https://discourse.haskell.org",
  "tags": [
    "Launch program via GHCi support and questions on linearity · Issue #5 · alt-romes/ghengin · GitHub",
    "Segfault with GHCi 9.12.2 and Linear Types (#26565) · Issues · Glasgow Haskell Compiler / GHC · GitLab"
  ],
  "textContent": "This is very cool! I’ll read carefully soon.\n\nkonn:\n\n> Although the Pure Borrow programs work fine after the _compilation_ , we are observing that some vector programs with Pure Borrow (involving `copyAt` especially) segfaults when _interpreted_ inside GHCi and HLS Eval Plugin.\n>  We are working on this problem, so please be patient and please compile your Pure Borrow program to check the output meanwhile\n\nI think I’ve fixed this bug with linear types in GHCi. It should be fixed in 9.14 and 9.12.3.\nHere are some references:\n\n  * Launch program via GHCi support and questions on linearity · Issue #5 · alt-romes/ghengin · GitHub\n  * Segfault with GHCi 9.12.2 and Linear Types (#26565) · Issues · Glasgow Haskell Compiler / GHC · GitLab\n\n\n\nHope that helps!",
  "title": "Pure Borrow: Linear Haskell Meets Rust-Style Borrowing"
}