search

UCSD-PL / refscript

Refinement Types for Scripting Languages
BSD 3-Clause "New" or "Revised" License
65 stars 3 forks source link

real? #136

Closed BenjaminCosman closed 9 years ago

BenjaminCosman commented 9 years ago 
/*@ x :: real? */
var x = null

fails with

rsc: src/Language/Nano/Types.hs:(490,1)-(499,29): Non-exhaustive patterns in function tconCode

panagosg7 commented 9 years ago

Thanks, fixed by cb65b5e9618a49b15431ace272431d2abf0b1907