search

diku-dk / futhark

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

Invalidly rejected by type checker #2048

Closed athas closed 1 year ago

athas commented 1 year ago 
def main [n] (xs: [n]i32) : []i32 =
  let [m] (ys: [m]i32) = filter (>0) xs
  in ys

It works if the return type ascription is removed.