mirror of
https://github.com/ProvableHQ/leo.git
synced 2024-11-30 03:34:51 +03:00
commit
46d539a0b6
@ -50,7 +50,7 @@ commands:
|
||||
jobs:
|
||||
check-style:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- checkout
|
||||
@ -66,7 +66,7 @@ jobs:
|
||||
|
||||
clippy:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- checkout
|
||||
@ -83,7 +83,7 @@ jobs:
|
||||
|
||||
leo-executable:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- checkout
|
||||
@ -102,7 +102,7 @@ jobs:
|
||||
|
||||
leo-new:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -111,11 +111,11 @@ jobs:
|
||||
name: leo new
|
||||
command: |
|
||||
export LEO=/home/circleci/project/project/bin/leo
|
||||
./project/.circleci/leo-new.sh
|
||||
timeout 30m ./project/.circleci/leo-new.sh
|
||||
|
||||
leo-clean:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -128,7 +128,7 @@ jobs:
|
||||
|
||||
leo-example:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
@ -141,7 +141,7 @@ jobs:
|
||||
|
||||
test-examples:
|
||||
docker:
|
||||
- image: cimg/rust:1.71
|
||||
- image: cimg/rust:1.74
|
||||
resource_class: xlarge
|
||||
steps:
|
||||
- attach_workspace:
|
||||
|
@ -39,7 +39,7 @@ pub mod mode;
|
||||
pub use mode::*;
|
||||
|
||||
use crate::{Block, Identifier, Node, NodeID, TupleType, Type};
|
||||
use leo_span::{sym, Span, Symbol};
|
||||
use leo_span::{Span, Symbol};
|
||||
|
||||
use serde::{Deserialize, Serialize};
|
||||
use std::fmt;
|
||||
@ -111,11 +111,6 @@ impl Function {
|
||||
self.identifier.name
|
||||
}
|
||||
|
||||
/// Returns `true` if the function name is `main`.
|
||||
pub fn is_main(&self) -> bool {
|
||||
self.name() == sym::main
|
||||
}
|
||||
|
||||
///
|
||||
/// Private formatting method used for optimizing [fmt::Debug] and [fmt::Display] implementations.
|
||||
///
|
||||
|
@ -73,6 +73,7 @@ macro_rules! implement_const_unary {
|
||||
) => {
|
||||
// TODO: This is temporary since the currently unused code is used in constant folding.
|
||||
#[allow(dead_code)]
|
||||
#[allow(clippy::redundant_closure_call)]
|
||||
pub(crate) fn $name(self, span: Span) -> Result<Self> {
|
||||
use Value::*;
|
||||
|
||||
@ -159,6 +160,7 @@ macro_rules! implement_const_binary {
|
||||
) => {
|
||||
// This is temporary since the currently unused code is used in constant folding.
|
||||
#[allow(dead_code)]
|
||||
#[allow(clippy::redundant_closure_call)]
|
||||
pub(crate) fn $name(self, other: Self, span: Span) -> Result<Self> {
|
||||
use Value::*;
|
||||
|
||||
|
@ -173,7 +173,7 @@ impl StatementReconstructor for Destructurer<'_> {
|
||||
let statements = lhs_tuple
|
||||
.elements
|
||||
.into_iter()
|
||||
.zip_eq(rhs_tuple.elements.into_iter())
|
||||
.zip_eq(rhs_tuple.elements)
|
||||
.map(|(lhs, rhs)| {
|
||||
// Get the type of the rhs.
|
||||
let type_ = match self.type_table.get(&lhs.id()) {
|
||||
|
Loading…
Reference in New Issue
Block a user