YuMingLiao

warning: Nix search path entry '/home/demo/.nix-defexpr/channels' does not exist, ignoring
GHCi, version 8.0.2: http://www.haskell.org/ghc/  :? for help
[1 of 1] Compiling Main             ( GTable.hs, interpreted )

GTable.hs:76:48: error:
    • Could not deduce (Selectors a0) arising from a use of ‘selectors’
      from the context: (Generic a,
                         MonadWidget t m,
                         Data a,
                         GSelectors (Rep a),

YuMingLiao

{ nixpkgsFunc ? import ./nixpkgs
, system ? builtins.currentSystem
, config ? {}
, enableLibraryProfiling ? false
, enableExposeAllUnfoldings ? true
, enableTraceReflexEvents ? false
, useFastWeak ? true
, useReflexOptimizer ? false
, useTextJSString ? true
, iosSdkVersion ? "10.2"

YuMingLiao

# default.nix
(import ./reflex-platform {}).project ({ pkgs, ... }: {

  overrides = self: super: {
   heist = pkgs.haskell.lib.doJailbreak super.heist;
   map-syntax = pkgs.haskell.lib.doJailbreak super.map-syntax;
  };

  packages = {
    common = ./common;

YuMingLiao

this:

let
  inherit (this) nixpkgs;
  inherit (nixpkgs.lib) mapAttrs mapAttrsToList escapeShellArg
    optionalString concatStringsSep concatMapStringsSep;
in

# This function simplifies the definition of Haskell projects that
# have multiple packages. It provides shells for incrementally working

YuMingLiao

-- design part
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

YuMingLiao

Ex_RowToList.hs:104:11: error:
    * The type [Char] does not contain a field named 'b'.
    * In the second argument of `($)', namely
        `pairwiseApply functions values'
      In a stmt of a 'do' block: print $ pairwiseApply functions values
      In the expression: do print $ pairwiseApply functions values
    |
104 |   print $ pairwiseApply functions values
    |           ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

YuMingLiao

-- design part
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

YuMingLiao

-- design part
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

YuMingLiao

-- design part
{-# LANGUAGE UndecidableInstances #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}

YuMingLiao

{
  packageOverrides = super: let self = super.pkgs; in
  {
    haskellPackages = super.haskellPackages.override {
      overrides = self: super: {
        project-m36-typed  = self.callPackage ~/test/project-m36-typed {};
        generic-lens       = self.callPackage ~/example/generic-lens {};
#        QuickCheck         = self.haskell.lib.doJailBreak super.QuickCheck {};
      };
    };