[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Issue: REAL-NUMBER-TYPE (version 1)



re: Surely it must use the same mechanism that <= and < do...
  
OK, but is this really appropriate for type checking?