I have seen quasi-function symbols $effmask_all and $effmask_ref many times in the ATS library code. What is the meaning of these symbols? When should they be called?
What is the meaning of $effmask_all in ATS?
86 Views Asked by AudioBubble At
1
There are 1 best solutions below
Related Questions in ATS
- How do I draw ascii art in ATS?
- What does :<> (colon less-than greater-than) mean in ats
- ATS - datatype declaration parametrized by `int` sort
- ATS Proof: Why does this static if need greater than or equal to?
- ATS. How to compile non void function?
- ATS - What is the constraint C3NSTRprop(C3TKmain(); S2Eeqeq(S2Eintinf(0); S2Evar(abc(4303)))) referring to?
- Why can't I call the second half of a mutually recursive function that's defined locally?
- Why can't generic function templates use fnx to ensure they are tail-recursive?
- PMVtmpltcstmat, atstype_undefined undeclared
- Declare mutually recursive types
- Specify the ABI of a function
- Allocate datatype on the stack
- Prove that if string_is_prefix returns true, then the string has a length as big as the prefix
- Proof function for an elementary statement about multiplication
- What is the lifetime of a struct received from a free'd linear object?
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
Popular # Hahtags
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
ATS can track some effects (e.g., non-termination (ntm), reference (ref), write (wrt)). Sometimes, you may want the typechecker to ignore the effects that can potentially be generated from the evaluation of an expression. To do so, you can use
$effmask_allto mask out all the effects and$effmask_refto mask out only the reference-effect. There is also$effmask_wrtfor masking out the write-effect.