language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-29 06:44:46 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 7

add Alias expression

Browse source
This commit is contained in:
Folkert 2020-08-05 22:45:25 +02:00
parent c18bbe9a63
commit dab00f2e2d
2 changed files with 8 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/gen/src/llvm/build.rs
View file

@ -260,6 +260,7 @@ pub fn build_exp_expr<'a, 'ctx, 'env>(
match expr {
Literal(literal) => build_exp_literal(env, layout_ids, scope, parent, literal),
Alias(symbol) => load_symbol(env, scope, symbol),
RunLowLevel(op, symbols) => {
let mut args = Vec::with_capacity_in(symbols.len(), env.arena);

8
compiler/mono/src/experiment.rs
View file

@ -384,6 +384,10 @@ pub enum CallType {
pub enum Expr<'a> {
Literal(Literal<'a>),
/// A symbol will alias this symbol
/// in the long term we should get rid of this using copy propagation
Alias(Symbol),
// Functions
FunctionPointer(Symbol, Layout<'a>),
FunctionCall {
@ -465,6 +469,7 @@ impl<'a> Expr<'a> {
match self {
Literal(lit) => lit.to_doc(alloc, false),
Alias(symbol) => alloc.text("alias ").append(symbol_to_doc(alloc, *symbol)),
FunctionPointer(symbol, _) => symbol_to_doc(alloc, *symbol),
@ -1927,7 +1932,7 @@ fn store_pattern<'a>(
env: &mut Env<'a, '_>,
can_pat: &Pattern<'a>,
outer_symbol: Symbol,
_layout: Layout<'a>,
layout: Layout<'a>,
stored: &mut Vec<'a, (Symbol, Layout<'a>, Expr<'a>)>,
) -> Result<(), String> {
use Pattern::*;
@ -1935,6 +1940,7 @@ fn store_pattern<'a>(
match can_pat {
Identifier(symbol) => {
// TODO surely something should happen here?
stored.push((*symbol, layout, Expr::Alias(outer_symbol)));
}
Underscore => {
// Since _ is never read, it's safe to reassign it.