git.iko.soy/Idris-dev
on fac49fc help sign in
history ofsrc/Idris/Primitives.hs
all commits
5000aebAdd a Cabal libraryBrian McKenna ffe8706Null pointer primitiveEdward Amsden 3c32b65Whitespace cleanup.George Leontiev fd9bd68Add '%reflection' option for functions A reflection function can evaluate at compile-time only, and pattern matches on *syntax* rather than on constructor forms. Also add 'prim__syntactic_eq' for a compile-time syntactic equality check.Edwin Brady b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 6b5cb4cFix interpreter implementation of signed operations on IntegerBenjamin Saunders 1c1ad77Fix LLVM codegen integer interconversion and integer <-> character primitivesBenjamin Saunders aa42f71CleanupBenjamin Saunders f0c1e19Vector FFI and bitcastsBenjamin Saunders 773e454Make ChType a member of IntTy ITChar.Jan Bessai 702141bSIMD comparison primitivesBenjamin Saunders c949bdbAdded SIMD vector index and update primitivesBenjamin Saunders 436bf95Define some primitive SIMD operatorsBenjamin Saunders a83adf1Delete unused utility functionsBenjamin Saunders 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 656f219Special-case prim__believe_meDavid Christiansen 1579621Allow Execute to import primitives without cycleDavid Christiansen 334fdd0Make primitive implementations act on Const rather than ValueDavid Christiansen affd239Add type annotations to Primitives.hs to aid in understandingDavid Christiansen fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders c328454Fix missing case in Idris.Primitives.p_strLenAndy Morris 0e6138fadded forgotten LStrLen primitive and length function for StringJan Bessai 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders 94f7452Fix wrongly-typed 16-bit complement evaluatorBenjamin Saunders 1dc8f39added LChInt LIntCh to primitivesraichoo 70cc9cdCleanupBenjamin Saunders 7f7af8dFix a few missing linesBenjamin Saunders 45bbe39Mark bit divisions/remainders as partialBenjamin Saunders 9e543e6Remainder primitives for bitsBenjamin Saunders 5f6ac67In-lang stringification of BitsBenjamin Saunders df10078Complement primitive for bit typesBenjamin Saunders 927fd18Machine integer comparison primitives and a proofy interface to the equality caseBenjamin Saunders 8216c7fBasic bit-twiddling primitivesBenjamin Saunders 348cf91String primitivesBenjamin Saunders b3ba46ePrimitives for interconversion of Bits32 and IntBenjamin Saunders 7518b0cAbsolutely untested implementations of a few bitstring primitives.Irene Knapp b896224Primitive types for groups of 8, 16, 32, and 64 bits, and basic arithmetic and mutual conversion operations on themBenjamin Saunders dd5001fmake TT aware of Set -> Typeraichoo 5803d2bRemove reference to W32 (temporarily)Edwin Brady f6451efword 8/16 primitive typesraichoo e0d0b13added Data.Bits and primitives for Intraichoo 0136305Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)Edwin Brady 9a444c5Add 'mod' and variantsEdwin Brady bbe9dc1Minor fixes for inlining and integer literalsEdwin Brady 8464bc4Add field for documentation comments in abstract syntaxEdwin Brady 895b323Allow forward declaration of data structures To support induction-recursion and mutual data definitions Syntax is as a normal data declaration, but without the 'where' or '=' sectionsEdwin Brady