search

diku-dk / futhark

:boom::computer::boom: A data-parallel functional programming language
http://futhark-lang.org
ISC License
2.38k stars 165 forks source link

Internal compiler error (unhandled IO exception). #2114

Closed patrick-nicodemus closed 7 months ago

patrick-nicodemus commented 7 months ago

Compiler crashes on this input. Code to reproduce:

module type A = {
    module R : { type t = t }
}

Error:

Internal compiler error (unhandled IO exception).
Please report this at https://github.com/diku-dk/futhark/issues
lookupType: QualName {qualQuals = [], qualLeaf = VName (Name "t") 4522}
CallStack (from HasCallStack):
  error, called at src/Language/Futhark/TypeChecker/Monad.hs:341:18 in futhark-0.26.0-c862ced4ea8e88ac2472f231338dedbb75f0e5791c54d2b0d213cdfa513a8eb8:Language.Futhark.TypeChecker.Monad

Process futhark exited abnormally with code 1