Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

List comprehensions do not work #1

Open
finnteegen opened this issue Jan 28, 2021 · 2 comments
Open

List comprehensions do not work #1

finnteegen opened this issue Jan 28, 2021 · 2 comments

Comments

@finnteegen
Copy link
Member

Consider the following program.

{-# OPTIONS_GHC -fplugin Plugin.SMLPlugin #-}
module Example where
count = [i | i <- []]

Compiling the program yields the following error.

*** Exception: No match in record selector syn_expr
@Ziharrk
Copy link
Member

Ziharrk commented Jan 31, 2021

This was probably broken by the upgrade to GHC 9.1.
I'll try to fix it now...

Ziharrk added a commit that referenced this issue Jan 31, 2021
Ziharrk added a commit that referenced this issue Jan 31, 2021
@Ziharrk
Copy link
Member

Ziharrk commented Jan 31, 2021

Well, this is harder than expected.
There was a simple error due to upgrading GHC.
Remaining problems:

  • Do-Notation works without segmentation fault, but fails at core-lint.
  • List conprehensions complain about a missing instance MonadND []

Both problems seem to arise from the same issue: Somewhere a list type is not lifted to ListND.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants