переменная проблема жесткого типа / подозреваемый

Question

переменная проблема жесткого типа / подозреваемый

Это можно сделать с помощью mod_rewrite, но убедитесь, что mod_proxy включен в httpd.conf Apache. Как только это будет сделано, включите mod_rewrite и .htaccess через httpd.conf, а затем поместите этот код в свой .htaccess в каталог DOCUMENT_ROOT:

Options +FollowSymLinks -MultiViews
RewriteEngine On
RewriteBase /

RewriteCond %{HTTP_HOST} ^(www\.)?mydomain\.be$ [NC]
RewriteRule ^ http://www.mydomain.nl%{REQUEST_URI} [L,NE,P]

Обратите внимание на флаг P, который используется для обрабатывая запрос прокси.

Подробнее о флагове: P в mod_rewrite

7

haskell types type-inference gadt

задан AntC 13 March 2019 в 12:40

1 ответ

Другие вопросы по тегам:

haskell types type-inference gadt

Похожие вопросы:

score 0 · Answer 1

Если GHC может сделать вывод (через FunDep), что c должно быть Term Int для = undefined

Не может. Если вы попытаетесь undefined :: Term Int, вы получите ту же ошибку переменной жесткого типа. Если вы используете типизированное отверстие = _undefined, вы увидите, что оно выводит undefined :: c. Я не знаю почему, но функциональная зависимость, кажется, используется только при применении eval к Lit, а не при его определении.

Как насчет этого?
class IsTerm a where
  type TermType a :: *
instance IsTerm Lit where
  type TermType Lit = Int
instance IsTerm a => IsTerm (Inc a) where
  type TermType (Inc a) = TermType a

class IsTerm a => Eval a   
  where eval :: a -> Term (TermType a) 

instance Eval Lit  where    
         eval (Lit i) = ToTerm i

-- needs UndecidableInstances
instance (Eval a, Num (TermType a)) => Eval (Inc a)  where    
         eval (Inc i) = ToTerm (fromTerm (eval i) + 1)