[Haskell-cafe] smt solver bindings

I've a quick question: Are there Haskell wrappers for the Z3 C API around? Thanks! d- ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: [Haskell-cafe] Fixing Performance Leaks at the Type Level

Dear Gershom, Just to say many thanks for the extremely useful test cases! We will investigate further. Best, Dimitris -Original Message- From: glasgow-haskell-users-boun...@haskell.org [mailto:glasgow-haskell- users-boun...@haskell.org] On Behalf Of Gershom Bazerman Sent: 12

Re: [Haskell-cafe] Type checking oddity -- maybe my own confusion

Hi Ryan, Think of AssignCap as an extra argument packaged up with the Assign constructor. When you pattern match against Assign you make the AssignCap constraint *available* for use in the RHS of the pattern; so there's no need for quantification, you already have the constraint you want

Re: [Haskell-cafe] Could not deduce ... using functional dependencies with GHC7

Hi, can you elaborate a bit? What is Id and what is (Sig id) and IdSig in your example? Can you reproduce an example that you believe should compile but doesn't? thanks d- -Original Message- From: haskell-cafe-boun...@haskell.org [mailto:haskell-cafe-boun...@haskell.org] On Behalf

Re: [Haskell-cafe] Simple GADT parser for the eval example

Just noticed Joost Visser's message but since I had (essentially a very similar) response I thought I might send it off as well ... It includes the conditional cases. Regards, -d {-# OPTIONS_GHC -fglasgow-exts #-} module Main where data Term a where Lit :: Int - Term Int Inc ::