search

con-kitty / categorifier

Interpret Haskell programs into any cartesian closed category.
BSD 3-Clause "New" or "Revised" License
57 stars 2 forks source link

Traditional heirarchy #90

Closed martyall closed 9 months ago

martyall commented 9 months ago

Currently fails with 

[1 of 1] Compiling Main             ( simple/Main.hs, /home/martin/code/haskell/categorifier/dist-newstyle/build/x86_64-linux/ghc-9.0.1/examples-0.1/x/simple/build/simple/simple-tmp/Main.o, /home/martin/code/haskell/categorifier/dist-newstyle/build/x86_64-linux/ghc-9.0.1/examples-0.1/x/simple/build/simple/simple-tmp/Main.dyn_o )
ghc: panic! (the 'impossible' happened)
  (GHC version 9.0.1:
    Categorifier failed to categorify the following expression:
square
  - couldn't build dictionary for constraint

Arrow Graph

required by arr @Graph.
    - If the following errors refer to a missing instance (particularly for
     `HasRep`), it's likely that you need to define it.
      - <interactive>:1:1: error: No instance for (Base.Arrow Graph)
    (seen 1 time)