Philonous

<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE node PUBLIC "-//freedesktop//DTD D-BUS Object Introspection 1.0//EN" "http://www.freedesktop.org/standards/dbus/1.0/introspect.dtd"><node name="/"><node name="pontarius/service"><interface name="pontarius.service"><method name="markKeyVerified"><arg name="location" type="s" direction="in"/></method><method name="markKeyVerified"><arg name="key-id" type="s" direction="in"/><arg name="identity" type="s" direction="in"/></method><method name="revokeKey"><arg name="key-id" type="s" direction="in"/><arg name="reason" type="s" direction="in"/></method><method name="initiateChallenge"><arg name="peer" type="s" direction="in"/><arg name="question" type="s" direction="in"/><arg name="secret" type="s" direction="in"/><arg name="challenge_id" type="s" direction="out"/></method><method name="respondChallenge"><arg name="challenge_id" type="s" direction="in"/><arg name="secret" type="s" direction="in"/><arg name="succeeded" type="s" direction="out"/></method><method name="ge

Philonous

<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE node PUBLIC "-//freedesktop//DTD D-BUS Object Introspection 1.0//EN" "http://www.freedesktop.org/standards/dbus/1.0/introspect.dtd"><node name="/"><node name="pontarius/service"><interface name="pontarius.service"><method name="importKey"><arg name="location" type="s" direction="in"/></method><method name="markKeyVerified"><arg name="key-id" type="s" direction="in"/></method><method name="revokeKey"><arg name="key_id" type="s" direction="in"/><arg name="reason" type="s" direction="in"/></method><method name="initiateChallenge"><arg name="peer" type="s" direction="in"/><arg name="question" type="s" direction="in"/><arg name="secret" type="s" direction="in"/><arg name="challenge_id" type="s" direction="out"/></method><method name="respondChallenge"><arg name="challenge_id" type="s" direction="in"/><arg name="secret" type="s" direction="in"/></method><method name="getAvailableEntities"><arg name="entities" type="a(sss)" direction="out"/></method><method name="getUn

Philonous

(defstruct haskell-import-line
  (qualified nil :type boolean)
  (package nil :type string)
  (module  nil :type string)
  (as  nil :type string)
  (idents  nil :type '(list string))
  (hiding  nil :type '(list string)))

(defvar haskell-import-ident-regexp
  "\\(?:\\(?:[a-zA-Z][^ ,()]*\\)\\|\\(?:([^()]+)\\)\\)")

Philonous

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE node PUBLIC "-//freedesktop//DTD D-BUS Object Introspection 1.0//EN" "http://www.freedesktop.org/standards/dbus/1.0/introspect.dtd">
<node name="/">
  <node name="pontarius/service">
    <interface name="pontarius.service">
      <method name="importKey">
        <arg name="location" type="s" direction="in"/>
        <arg name="key_id" type="s" direction="out"/>
      </method>
      <method name="createKey">

Philonous

;;; ac-etags.el --- etags/ctags completion source for auto-complete

;; Copyright (C) 2013 by Syohei YOSHIDA

;; Author: Syohei YOSHIDA <[email protected]>
;; URL: https://github.com/syohex/emacs-ac-etags
;; Version: 0.06
;; Package-Requires: ((auto-complete "1.4"))

;; This program is free software; you can redistribute it and/or modify

Philonous

type family FlattenRepType r where
    FlattenRepType TypeUnit = '[]
    FlattenRepType (TypeStruct ts) = ts
    FlattenRepType t = '[t]

flattenRep :: ( Representable a ) =>
              a
           -> DBusArguments (FlattenRepType (RepType a))
flattenRep (x :: t) =
    let rts = sing :: Sing (RepType t)

Philonous

 Couldn't match type ‘'[]’ with ‘'['TypeUnit]’ …
    Inaccessible code in
      a pattern with constructor
        STypeUnit :: forall (z_a84Kq :: DBusType).
                     z_a84Kq ~ 'TypeUnit =>
                     Sing z_a84Kq,
      in a case alternative
    In the pattern: STypeUnit
    In a case alternative: STypeUnit -> SNil
    In the expression:

Philonous

src/DBus/Types.hs:151:1: Couldn't match kind ‘*’ with ‘DBusType’ …
    Expected type: Sing
                     (Apply
                        FlattenRepTypeSym0 (Apply DBusSimpleTypeSym0 wild_1630540678))
      Actual type: Sing (((:$) @@ t0) @@ '[])
    In the expression:
      applySing
        (applySing (singFun2 (Proxy :: Proxy (:$)) SCons) sT) SNil
    In the expression:
      let

Philonous

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GADTs #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE UndecidableInstances #-}

module Main where

import           Data.Singletons.TH

Philonous

;;; haskell-cabal.el --- Support for Cabal packages

;; Copyright (C) 2007, 2008  Stefan Monnier

;; Author: Stefan Monnier <[email protected]>

;; This file is not part of GNU Emacs.

;; This file is free software; you can redistribute it and/or modify
;; it under the terms of the GNU General Public License as published by