roc-lang/roc
1
1
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2024-09-20 07:17:50 +03:00
Code Issues Packages Projects Releases Wiki Activity

has -> implements in comments

Browse Source
This commit is contained in:
Bryce Miller 2023-05-20 19:19:11 -04:00
parent 10d92bf0f3
commit d700a6a6e6
No known key found for this signature in database
GPG Key ID: F1E97BF8DF152350
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
crates/compiler/parse/src/ast.rs
View File

@ -365,7 +365,7 @@ pub enum Implements<'a> {
SpaceAfter(&'a Implements<'a>, &'a [CommentOrNewline<'a>]),
}
/// An ability demand is a value defining the ability; for example `hash : a -> U64 | a has Hash`
/// An ability demand is a value defining the ability; for example `hash : a -> U64 | a implements Hash`
/// for a `Hash` ability.
#[derive(Debug, Clone, Copy, PartialEq)]
pub struct AbilityMember<'a> {
@ -398,8 +398,8 @@ pub enum TypeDef<'a> {
},
/// An ability definition. E.g.
/// Hash has
/// hash : a -> U64 | a has Hash
/// Hash implements
/// hash : a -> U64 | a implements Hash
Ability {
header: TypeHeader<'a>,
loc_has: Loc<Implements<'a>>,
@ -569,7 +569,7 @@ pub enum ImplementsAbility<'a> {
#[derive(Debug, Copy, Clone, PartialEq)]
pub enum ImplementsAbilities<'a> {
/// `has [Eq { eq: myEq }, Hash]`
/// `implements [Eq { eq: myEq }, Hash]`
Implements(Collection<'a, Loc<ImplementsAbility<'a>>>),
// We preserve this for the formatter; canonicalization ignores it.
@ -641,7 +641,7 @@ pub enum TypeAnnotation<'a> {
/// The `*` type variable, e.g. in (List *)
Wildcard,
/// A "where" clause demanding abilities designated by a `|`, e.g. `a -> U64 | a has Hash`
/// A "where" clause demanding abilities designated by a `|`, e.g. `a -> U64 | a implements Hash`
Where(&'a Loc<TypeAnnotation<'a>>, &'a [Loc<ImplementsClause<'a>>]),
// We preserve this for the formatter; canonicalization ignores it.