8eb2087Separate IO and PrimIO PrimIO is the internal primitive, IO is the user version which requires an explicit World token to be passed in which programmers have no access to directly. Fixes #185 and fixes #325Edwin Brady13 years ago d9e7912FTy convenience names for fixed-width intsBenjamin Saunders13 years ago f0c1e19Vector FFI and bitcastsBenjamin Saunders13 years ago 773e454Make ChType a member of IntTy ITChar.Jan Bessai13 years ago 2613689javascript: make FFI work with HOFsraichoo13 years ago 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen13 years ago 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady13 years ago 308efeaFriendly smart constructors for foreign integer typesBenjamin Saunders14 years ago 2572b10Parameterized integer FFIBenjamin Saunders14 years ago 6cdb125Rewrite ForeignTy as non-tail-recursive to simplify proving equalityBenjamin Saunders14 years ago cc716d7Make 'Type' the type of types instead of Sets ...after mailing list discussionEdwin Brady14 years ago 9affb75Totality checker improvements Now does a better job of checking type class instances for totality, by inlining dictionaries where possible. Added %default total declarations to some libraries where possibleEdwin Brady14 years ago 991ee91Merge branch 'lib' of https://github.com/raichoo/Idris-devEdwin Brady14 years ago 5c9a88auppercase modulenamesraichoo14 years ago