chore: explain a todo in the machine
This commit is contained in:
		
							parent
							
								
									3f8f624a7b
								
							
						
					
					
						commit
						dfa0378404
					
				|  | @ -242,7 +242,7 @@ impl Machine { | ||||||
|                     )), |                     )), | ||||||
|                     None => todo!(), |                     None => todo!(), | ||||||
|                 }, |                 }, | ||||||
|                 _ => todo!(), |                 _ => todo!("return a proper evaluation error"), | ||||||
|             }, |             }, | ||||||
|         } |         } | ||||||
|     } |     } | ||||||
|  |  | ||||||
|  | @ -28,7 +28,9 @@ fn actual_evaluation_result(file: &Path) -> Result<Program<Name>, String> { | ||||||
| 
 | 
 | ||||||
|     let program = parser::program(&code).map_err(|_| PARSE_ERROR.to_string())?; |     let program = parser::program(&code).map_err(|_| PARSE_ERROR.to_string())?; | ||||||
| 
 | 
 | ||||||
|     let program: Program<NamedDeBruijn> = program.try_into().unwrap(); |     let program: Program<NamedDeBruijn> = program | ||||||
|  |         .try_into() | ||||||
|  |         .map_err(|_| EVALUATION_FAILURE.to_string())?; | ||||||
| 
 | 
 | ||||||
|     let version = program.version; |     let version = program.version; | ||||||
| 
 | 
 | ||||||
|  |  | ||||||
		Loading…
	
		Reference in New Issue
	
	 rvcas
						rvcas