language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-04 04:08:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

resolve feedback, added compiler stages diagram

Browse source
This commit is contained in:
Luke Boswell 2022-11-06 09:15:18 +11:00
parent a3f901427a
commit d702e391b8
No known key found for this signature in database
GPG key ID: 0E908525B2C7BD68
7 changed files with 20 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/compiler/exhaustive/src/lib.rs
View file

@ -1,5 +1,5 @@
//! [Exhaustiveness](https://dev.to/babak/exhaustive-type-checking-with-typescript-4l3f) checking, based on "Warning for pattern matching" (Luc Maranget, 2007).
//! http://moscova.inria.fr/~maranget/papers/warn/warn.pdf
//! Exhaustiveness checking, based on [Warnings for pattern matching](http://moscova.inria.fr/~maranget/papers/warn/warn.pdf)
//! (Luc Maranget, 2007).
use roc_collections::all::{HumanIndex, MutMap};
use roc_error_macros::internal_error;