Skip to content
This repository was archived by the owner on May 7, 2024. It is now read-only.

RustFields/RuFi-lang-problematic-examples

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

16 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

RuFi-lang-problematic-examples

This repository contains some examples of problems that has been found implementing RuFi language.

Borrowing

  • ex00: Here we show a minimal example of nested borrowing conflicts.
  • ex01: Here we show the multiple borrowing problem that occurs when implementing the nbr function.
  • ex02: Here we try to solve the problem by eliminate nested borrowing inside the nbr function.
  • ex03: Here, to allow composition between operators, we make the closure of the nbr function to accept the language as an argument.

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages