search

silt-lang / silt

An in-progress fast, dependently typed, functional programming language implemented in Swift.
MIT License
240 stars 13 forks source link

Add `unreachable` PrimOp #110

Closed harlanhaskins closed 6 years ago

harlanhaskins commented 6 years ago

What's in this pull request?

This patch adds an unreachable PrimOp, and adds writing and parsing for it.

Why merge this pull request?

It's necessary to have as a placeholder while debugging codegen. It also trivially lowers to LLVM's unreachable instruction.

What's worth discussing about this pull request?

Nothing. Resolves #101.

What downsides are there to merging this pull request?

None.

CodaFi commented 6 years ago

I'd like a test if possible.