osa1

vblank_mode=0 optirun -b primus %command% +net_graph 1 +net_graphheight 64 +net_graphinsetbottom 437 +net_graphinsetleft 0 +net_graphinsetright -83 +net_graphpos 1 +net_graphproportionalfont 0 +net_graphtext 1

osa1

Require Import Omega.
Require Import Coq.Vectors.Vector.
Require Import Coq.Vectors.VectorDef.
Open Scope vector_scope.
Require Import Bool.
Require Import List.
Require Import Arith.
Require Import Arith.EqNat.
Require Import Program.

osa1

src/MinCaml/Codegen/C.hs:410:48:
    Found hole ‘_’ with type: [String]
    Relevant bindings include
      body' :: Maybe [CStat] (bound at src/MinCaml/Codegen/C.hs:409:7)
      envTy :: String (bound at src/MinCaml/Codegen/C.hs:408:7)
      argTys :: [CType] (bound at src/MinCaml/Codegen/C.hs:407:7)
      retty :: CType (bound at src/MinCaml/Codegen/C.hs:406:7)
      replaceFvs :: String -> [CStat] -> [CStat]
        (bound at src/MinCaml/Codegen/C.hs:421:5)
      replaceFvs' :: [Char] -> CExpr -> CExpr

osa1

Require Export SfLib.
Require Import Coq.Lists.ListSet.
Require Import List. Open Scope list_scope.
Require Import FunctionalExtensionality.


Inductive var_kind :=
| holevar : var_kind
| recvar : var_kind

osa1

{-# LANGUAGE FlexibleContexts          #-}
{-# LANGUAGE NoMonomorphismRestriction #-}

module Main where


import           Control.Applicative ((<*))
import qualified Data.Set            as S
import           Prelude             hiding (exp)
import           Text.Parsec

osa1

{-# LANGUAGE FlexibleContexts, NoMonomorphismRestriction, ViewPatterns,
             FlexibleInstances, MultiParamTypeClasses #-}
{-# OPTIONS_GHC -Wall #-}


-- | Lexer/Parsec interface
module Text.Parsec.LTok where


import Language.Lua.Lexer

osa1

--- idris-0.9.8/src/Idris/Parser.hs	2014-02-14 04:30:09.058010954 +0200
+++ idris-0.9.8-indentation/src/Idris/Parser.hs	2014-02-25 16:52:21.678150163 +0200
@@ -35,9 +35,13 @@
 import Data.Maybe
 import System.FilePath
 
-type TokenParser a = PTok.TokenParser a
+import Text.Parsec.Indentation
+import Text.Parsec.Indentation.Char
 

osa1

cmake_minimum_required(VERSION 2.8)
project(SqliteEdit)

set(CMAKE_MODULE_PATH ${CMAKE_SOURCE_DIR})

find_package(Sqlite3 REQUIRED)

find_library(wxWidgets NAMES )
find_package(wxWidgets COMPONENTS core base REQUIRED)

osa1

{-# LANGUAGE ViewPatterns #-}

module Main where


import           Control.Monad      (forM, forM_, liftM)
import           Data.List          (isInfixOf)
import           Data.List.Split    (splitOn)
import           System.Directory   (doesFileExist)
import           System.Environment (getArgs)

osa1

➜  idris git:(master) ✗ diffstat parser.diff 
 Parser.hs |  307 +++++++++++++++++++-------------------------------------------
 1 file changed, 99 insertions(+), 208 deletions(-)