Non-termination on Queens example #9

Open
jasonreich opened this Issue May 4, 2012 · 2 comments

Comments

Projects
None yet
1 participant
@jasonreich
Owner

jasonreich commented May 4, 2012

sc_wrapper (parseProg "Benchmarks/Queens.hs") ("length", lam "xs" $ fun "length" @: "xs")

Results in non-termination.

@jasonreich

This comment has been minimized.

Show comment Hide comment
@jasonreich

jasonreich May 4, 2012

Owner

Extracted to "Failures/Queens-length.hs"

Owner

jasonreich commented May 4, 2012

Extracted to "Failures/Queens-length.hs"

@jasonreich

This comment has been minimized.

Show comment Hide comment
@jasonreich

jasonreich May 4, 2012

Owner

Why doesn't this example come up in ProgGen?

{
f x = g x A;
g x y = case x of
  A -> y
  B p q -> g q (B p y);
main = f (B A A)
}
Owner

jasonreich commented May 4, 2012

Why doesn't this example come up in ProgGen?

{
f x = g x A;
g x y = case x of
  A -> y
  B p q -> g q (B p y);
main = f (B A A)
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment