Make refinement types to be defined everywhere basic types are defined

jeannin / zelus

A synchronous language with ODEs

http://zelus.di.ens.fr

Other

0 stars 4 forks source link

Make refinement types to be defined everywhere basic types are defined #14

Open jlvargasme opened 2 years ago

jlvargasme commented 2 years ago

Currently, the refinement type implementation is hardcoded for variables and functions. The goal is to be able to add the refinement type annotation everywhere a basic type can be defined.