Removed in <a class="issue-link js-issue-link" data-error-text="Failed to load title"

Is this translation correct? about voile-rs HOT 4 CLOSED

ice1000 commented on August 20, 2024

Is this translation correct?

from voile-rs.

Comments (4)

oraluben commented on August 20, 2024

I'm quite not sure. Currently AbsDecl::None will only occur as a parameter in lambda, which has no "sign" or "impl". This rule is not supposed to be reached now.

from voile-rs.

ice1000 commented on August 20, 2024

IIUC it's because this part is not yet implemented so you're not sure?

voile-rs/src/syntax/abs/trans.rs

Lines 104 to 112 in a75a6ca

    
           Expr::Lam(params, body) => { 
        
               let mut local_env = local_env.to_vec(); 
        
               let mut local_map = local_map.clone(); 
        
               for param in params { 
        
                   local_env.insert(local_env.len(), AbsDecl::None); 
        
                   // todo: fix this 
        
                   local_map.insert(param.info.text.clone(), 0); 
        
               } 
        
               unimplemented!()

from voile-rs.

ice1000 commented on August 20, 2024

Let's test lambda translation

from voile-rs.

ice1000 commented on August 20, 2024

Removed in #68

from voile-rs.

Related Issues (20)

Add "row" kinds in surface HOT 1
Tyck row-kinds and row-types HOT 2
Replace `check_type(e)` with `check(e, Type(Omega))` HOT 1
Row type conversion and subtyping checks HOT 2
Record constructor in core HOT 2
Record constructor in surface language HOT 1
Refactor `Closure`, wrap the destruction patterns into functions HOT 1
Record projection in core HOT 1
Record projection surface syntax HOT 1
Empty record/variants HOT 1
Type-check record projections HOT 1
Type-check first-class cases HOT 3
Cleanup unused functions HOT 1
`SyntaxInfo` design HOT 5
the docs.rs page looks ugly? HOT 3
Mock instances in a smarter way HOT 1
Lift has its problems HOT 1
Expand global does not expand nested expressions HOT 2
Solved metas should be evaluated HOT 1
Use TCE with stacktrace & pos-col instead of `unreachable!()`s HOT 1

Is this translation correct? about voile-rs HOT 4 CLOSED

Comments (4)

Related Issues (20)

Recommend Projects

React

Vue.js

Typescript

TensorFlow

Django

Laravel

D3

Recommend Topics

javascript

web

server

Machine learning

Visualization

Game

Recommend Org

Facebook

Microsoft

Google

Alibaba

D3

Tencent

	Expr::Lam(params, body) => {
	let mut local_env = local_env.to_vec();
	let mut local_map = local_map.clone();
	for param in params {
	local_env.insert(local_env.len(), AbsDecl::None);
	// todo: fix this
	local_map.insert(param.info.text.clone(), 0);
	}
	unimplemented!()