amc crashes when trying to compile an "unsaturated" pattern match, such as the one below.
type t = T of ()
let _ = fun (T) -> ()
$ amc compile src/mre.ml
amc: Cannot get type name from unit -> t#1
CallStack (from HasCallStack):
error, called at src/Syntax/Verify/Pattern.hs:425:15 in amuletml-1.0.0.0-A8dKuWQRIKuANEmZJNYfpR:Syntax.Verify.Pattern
amccrashes when trying to compile an "unsaturated" pattern match, such as the one below.