search

LightAndLight / ipso

A functional scripting language.
https://ipso.dev
16 stars 1 forks source link

Panic: undesugared pattern #358

Closed LightAndLight closed 1 year ago

LightAndLight commented 1 year ago

Program

bug.ipso

#! /usr/bin/env ipso

bad : ()
bad = (\(Ok _) -> ()) (Ok ())

main : IO ()
main = println <| debug bad

Expected output

$ ./bug.ipso
()

Actual outout

$ ./bug.ipso 
thread 'main' panicked at 'un-desugared pattern: Spanned { pos: 39, item: Variant { name: "Ok", arg: Spanned { pos: 43, item: Wildcard } } }', src/type_inference/mod.rs:576:44
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace