-
-
Notifications
You must be signed in to change notification settings - Fork 124
Open
Labels
type checkerTypes and inferenceTypes and inference
Description
What Git revision are you using?
v1.1.19
What operating system are you using, and which version?
- Linux / Ubuntu
- Linux / Other
- macOS
- Windows
Describe what the problem is?
Attempting to trace a MillerLoopResult:
trace @"look daddy, a bug": some_miller_loop_result
results in:
aiken::fatal::error
Whoops! You found a bug in the Aiken compiler.
Please report this error at https://github.com/aiken-lang/aiken/issues/new.
In your bug report please provide the information below and if possible the code
that produced it.
Operating System: macos
Architecture: aarch64
Version: v1.1.19+e525483
crates/aiken-lang/src/gen_uplc/builder.rs:724:46
ML Result not supported
What should be the expected behavior?
That should be forbidden by the type-checker to begin with.
Metadata
Metadata
Assignees
Labels
type checkerTypes and inferenceTypes and inference
Type
Projects
Status
🔨 Todo