René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"purescript/maybe segfaults at runtime","articleBody":"Is there another package for the Maybe monad that purescript-python supports? In normal purescript, I run `spago install maybe` to use the Maybe monad. However, if I try to do that with purescript-python, it compiles but segfaults at runtime.\r\n\r\n```purs\r\nmodule Main where\r\n\r\nimport Prelude\r\n\r\nimport Effect (Effect)\r\nimport Effect.Console (log)\r\n\r\nimport Data.Maybe\r\n\r\nx :: Maybe Int\r\nx = Just 2\r\n\r\ny :: Maybe Int\r\ny = Nothing\r\n\r\nmain :: Effect Unit\r\nmain = do\r\n  log \"🍝\"\r\n  -- Doesn't matter which 3 branches are commented, all segfaults\r\n  --log $ show x\r\n  --log $ show y\r\n  case x of\r\n    Just i -\u003e log $ show i\r\n    Nothing -\u003e log \"nothing\"\r\n\r\n```\r\n\r\n## Steps to reproduce\r\n```\r\ngit clone https://github.com/purescript-python/example-hw\r\ncd example-hw\r\n# See [1]\r\nspago upgrade-set\r\n# See [2]\r\nspago install prelude\r\nspago install maybe\r\n# Edit src/Main.purs as above\r\nspago build \u0026\u0026 pspy --run\r\n```\r\n\r\n## The output\r\n```\r\nCompiling Main\r\nWarning 1 of 2:\r\n\r\n  in module Main\r\n  at src/Main.purs:8:1 - 8:18 (line 8, column 1 - line 8, column 18)\r\n\r\n    Module Data.Maybe has unspecified imports, consider using the explicit form:\r\n\r\n      import Data.Maybe (Maybe(..))\r\n\r\n\r\n\r\n  See https://github.com/purescript/documentation/blob/master/errors/ImplicitImport.md for more information,\r\n  or to contribute content related to this warning.\r\n\r\nWarning 2 of 2:\r\n\r\n  in module Main\r\n  at src/Main.purs:3:1 - 3:15 (line 3, column 1 - line 3, column 15)\r\n\r\n    Module Prelude has unspecified imports, consider using the explicit form:\r\n\r\n      import Prelude (Unit, discard, show, ($))\r\n\r\n\r\n\r\n  See https://github.com/purescript/documentation/blob/master/errors/ImplicitImport.md for more information,\r\n  or to contribute content related to this warning.\r\n\r\n\r\n[info] Build succeeded.\r\nCodegen Python for Main\r\nCodegen Python for Control.Bind\r\nCodegen Python for Control.Applicative\r\nCodegen Python for Control.Apply\r\nCodegen Python for Control.Category\r\nCodegen Python for Control.Semigroupoid\r\nCodegen Python for Data.Function\r\nCodegen Python for Data.Boolean\r\nCodegen Python for Data.Ord\r\nCodegen Python for Data.Eq\r\nCodegen Python for Data.HeytingAlgebra\r\nCodegen Python for Data.Symbol\r\nCodegen Python for Type.Proxy\r\nCodegen Python for Data.Unit\r\nCodegen Python for Data.Show\r\nCodegen Python for Record.Unsafe\r\nCodegen Python for Data.Void\r\nCodegen Python for Data.Ordering\r\nCodegen Python for Data.Semigroup\r\nCodegen Python for Data.Ring\r\nCodegen Python for Data.Semiring\r\nCodegen Python for Data.Functor\r\nCodegen Python for Data.Maybe\r\nCodegen Python for Control.Alt\r\nCodegen Python for Control.Alternative\r\nCodegen Python for Control.Plus\r\nCodegen Python for Control.Extend\r\nCodegen Python for Control.Monad\r\nCodegen Python for Control.MonadZero\r\nCodegen Python for Data.Bounded\r\nCodegen Python for Data.Functor.Invariant\r\nCodegen Python for Data.Monoid.Additive\r\nCodegen Python for Data.Monoid\r\nCodegen Python for Data.EuclideanRing\r\nCodegen Python for Data.BooleanAlgebra\r\nCodegen Python for Data.CommutativeRing\r\nCodegen Python for Prelude\r\nCodegen Python for Data.DivisionRing\r\nCodegen Python for Data.Field\r\nCodegen Python for Data.NaturalTransformation\r\nCodegen Python for Data.Monoid.Alternate\r\nCodegen Python for Control.Comonad\r\nCodegen Python for Data.Newtype\r\nCodegen Python for Data.Monoid.Conj\r\nCodegen Python for Data.Monoid.Disj\r\nCodegen Python for Data.Monoid.Dual\r\nCodegen Python for Data.Monoid.Endo\r\nCodegen Python for Data.Monoid.Multiplicative\r\nCodegen Python for Data.Semigroup.First\r\nCodegen Python for Data.Semigroup.Last\r\nCodegen Python for Safe.Coerce\r\nCodegen Python for Unsafe.Coerce\r\nCodegen Python for Data.Generic.Rep\r\nCodegen Python for Effect\r\nCodegen Python for Effect.Console\r\n🍝\r\n[1]    3845030 segmentation fault (core dumped)  pspy --run\r\n```\r\n\r\n## Expected output\r\n\r\nSame as purescript (Just 2)\r\n\r\n## Appendix\r\n\r\nProbably just the example repo being outdated\r\n\r\n[1] When trying to run `spago build` at this stage, I get this error:\r\n```\r\n[error] Oh noes! It looks like the PureScript version installed on your system is not compatible with the package-set you're using.\r\n\r\ninstalled `purs` version:    0.14.5\r\nminimum package-set version: 0.13.6\r\n\r\nThere are a few ways to solve this:\r\n- install a compatible `purs` version (i.e. in the same 'semver range' as the one in the package set)\r\n- if the `purs` version is 'too new', you can try using `spago upgrade-set` to upgrade to the latest package set\r\n- if you know what you're doing and you want to disable this check, you can override the `version` of the `metadata` package in the packages.dhall, e.g.:\r\n\r\n  let upstream = \u003cpackage-set url here\u003e\r\n  in  upstream\r\n    with metadata.version = \"v0.14.5\"\r\n\r\n```\r\n[2] When trying to run `spago build` at this stage, I get this error\r\n\r\n```\r\n[error] Some of your project files import modules from packages that are not in the direct dependencies of your project.\r\nTo fix this error add the following packages to the list of dependencies in your config:\r\n- prelude\r\nYou may add these dependencies by running the following command:\r\nspago install prelude\r\n```","author":{"url":"https://github.com/akazukin5151","@type":"Person","name":"akazukin5151"},"datePublished":"2021-12-01T14:37:16.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":9},"url":"https://github.com/37/purescript-python/issues/37"}