carbon-language/carbon-lang
1
0
Fork 0
mirror of https://github.com/carbon-language/carbon-lang.git synced 2026-09-24 20:40:11 +01:00
Code Issues Packages Projects Releases 10 Wiki Activity

Bool->bool (#1920)

Browse Source 
Change Bool to bool in Prelude
This commit is contained in:
pmqtt
2022-08-04 11:09:24 -07:00
committed by GitHub
parent 63da070671
commit 6dd46066a0
1 changed files with 12 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
explorer/data/prelude.carbon
+12 -12
View File
@@ -141,23 +141,23 @@ impl String as CompareWith(Self) {
}
interface LessWith(U:! Type) {
fn Less[me: Self](other: U) -> Bool;
fn Less[me: Self](other: U) -> bool;
}
interface LessEqWith(U:! Type) {
fn LessEq[me: Self](other: U) -> Bool;
fn LessEq[me: Self](other: U) -> bool;
}
interface GreaterWith(U:! Type) {
fn Greater[me: Self](other: U) -> Bool;
fn Greater[me: Self](other: U) -> bool;
}
interface GreaterEqWith(U:! Type) {
fn GreaterEq[me: Self](other: U) -> Bool;
fn GreaterEq[me: Self](other: U) -> bool;
}
impl i32 as LessWith(Self) {
fn Less[me: Self](other: Self) -> Bool {
fn Less[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(i32).Compare)(other);
match (comp) {
case Ordering.Less() => {
@@ -169,7 +169,7 @@ impl i32 as LessWith(Self) {
}
impl String as LessWith(Self) {
fn Less[me: Self](other: Self) -> Bool {
fn Less[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(String).Compare)(other);
match(comp){
case Ordering.Less() => {
@@ -181,7 +181,7 @@ impl String as LessWith(Self) {
}
impl i32 as LessEqWith(Self) {
fn LessEq[me: Self](other: Self) -> Bool {
fn LessEq[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(i32).Compare)(other);
match(comp){
case Ordering.Less() => {
@@ -196,7 +196,7 @@ impl i32 as LessEqWith(Self) {
}
impl String as LessEqWith(Self) {
fn LessEq[me: Self](other: Self) -> Bool {
fn LessEq[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(String).Compare)(other);
match(comp){
case Ordering.Less() => {
@@ -211,7 +211,7 @@ impl String as LessEqWith(Self) {
}
impl i32 as GreaterWith(Self) {
fn Greater[me: Self](other: Self) -> Bool {
fn Greater[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(i32).Compare)(other);
match(comp){
case Ordering.Greater() => {
@@ -223,7 +223,7 @@ impl i32 as GreaterWith(Self) {
}
impl String as GreaterWith(Self) {
fn Greater[me: Self](other: Self) -> Bool {
fn Greater[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(String).Compare)(other);
match(comp){
case Ordering.Greater() => {
@@ -235,7 +235,7 @@ impl String as GreaterWith(Self) {
}
impl i32 as GreaterEqWith(Self) {
fn GreaterEq[me: Self](other: Self) -> Bool {
fn GreaterEq[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(i32).Compare)(other);
match(comp){
case Ordering.Greater() => {
@@ -250,7 +250,7 @@ impl i32 as GreaterEqWith(Self) {
}
impl String as GreaterEqWith(Self) {
fn GreaterEq[me: Self](other: Self) -> Bool {
fn GreaterEq[me: Self](other: Self) -> bool {
var comp: Ordering = me.(CompareWith(String).Compare)(other);
match(comp){
case Ordering.Greater() => {