git.iko.soy/Idris-dev
on aa8aefd help sign in
history ofsrc/Idris/Primitives.hs
all commits
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 5692e48Added "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time.Edwin Brady 919600bFixed believe_me compilation bugEdwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 7cdb0c0Removed Epic dependencyEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 6554c7dTowards primitives in new VMEdwin Brady c666be8Added prim__bigIntToInt (needs latest EpiVM)Edwin Brady 0dd7396Set totality of primitive operatorsEdwin Brady 397542cA load of primitives and library stuffEdwin Brady 0bc69fbAdded prelude.strings, made believe_me primitiveEdwin Brady d9834c1More string and char primitivesEdwin Brady e261167Add some string primitives (may need latest Epic)Edwin Brady 07f12f9Separate elaboration of declarations and termsEdwin Brady bbaa193Better representation of namesEdwin Brady 4931c20Added Integer (but an Epic bug prevents them compiling properly)Edwin Brady 8784b67Int/Float conversion primitivesEdwin Brady 5afe678Added log/exp (and lib/link directives)Edwin Brady 2d6c12ePrimitive conversion and showingEdwin Brady 1b1a055Improved where; implicit arguments now expanded during elaborationEdwin Brady 95a558bAdded = and reflEdwin Brady ec87a69Some effort at reporting line numbers of errors (top level of decl only)Edwin Brady 20861ecEnough Epic to compile 'hello world' (but not much else yet...)Edwin Brady 38a6bc7Added some library filesEdwin Brady 9d1ecc8Added some syntactic sugar for _|_, () and pairsEdwin Brady de89a04Add ElabInfo to pass through elaboratorEdwin Brady