search

elm-lang / elm-make

A build tool for Elm projects
BSD 3-Clause "New" or "Revised" License
175 stars 45 forks source link

probably infinite type causing loop #191

Open ghost opened 6 years ago

ghost commented 6 years ago 
type Zipper a
  = Zipper (List a) a (List a)

alwaysEmpty : Zipper a -> List a
alwaysEmpty _ = []

map f (Zipper before current after) =
  let g = alwaysEmpty >> f in

  Zipper
    (List.map g before)
    g
    after
    (List.map g after)

Causes elm-lang.org/try to run out of memory as well. I assume this is because the compiler gets stuck in a loop while trying to resolve type information for map.

abecker@eldin-laptop:~$ elm --version
0.18.0
abecker@eldin-laptop:~$ uname -a
Linux 4.9.0-6-amd64 #1 SMP Debian 4.9.82-1+deb9u3 (2018-03-02) x86_64 GNU/Linux
process-bot commented 6 years ago

Thanks for the issue! Make sure it satisfies this checklist. My human colleagues will appreciate it!

Here is what to expect next, and if anyone wants to comment, keep these things in mind.