git.iko.soy/Idris-dev
on 7afa310 help sign in
history ofsrc/Idris/Primitives.hs
all commits
76ab2e2Lifted the TODOs from Primitives.hsJan de Muijnck-Hughes af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer c55895dFix universe errors, update testsEdwin Brady 7e7368dStore kind in Pi bindersEdwin Brady cc9b104Add a prim__systemInfo primitive.niklas 5ba96c1Effect handlers should be coveringEdwin Brady 75d42a2Implement reductions for for Buffer primitives.Greg Pfeil 0bb1294Add primitive for stdout, stderrEdwin Brady d4ffc21Add ManagedPtr typeEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy a47adaaRemove redundant enName functionShea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 149e816Add Buffer type and primitives to the coreShea Levy 46e894dUse Data.Text for variable namesEdwin Brady 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