{var%20f='http://v.t.sina.com.cn/share/share.php?appkey=1515056452',u=z||d.location,p=['&url=',e(u),'&title=',e(t||d.title),'&source=',e(r),'&sourceUrl=',e(l),'&content=',c||'gb2312','&pic=',e(p||'')].join('');function%20a(){if(!window.open([f,p].join(''),'mb',['toolbar=0,status=0,resizable=1,width=440,height=430,left=',(s.width-440)/2,',top=',(s.height-430)/2].join('')))u.href=[f,p].join('');};if(/Firefox/.test(navigator.userAgent))setTimeout(a,0);else%20a();})(screen,document,encodeURIComponent,'','','https://www.manongdao.com/data/attach/logo/logo.png', '推荐 Ridiculous、 的问题《Pattern matching on Type in Idris》','https://www.manongdao.com/q-812064.html','页面编码gb2312|utf-8默认gb2312'));){kind=link}
Probably it's elementary but I don't understand why the following function answers 1 for fnc Nat and also, for fnc Integer, which is not even included as a pattern.
fnc : Type -> Integer
fnc Bool = 1
fnc Nat = 2
相关问题
- F# odd pattern matching issues
- Regex for matching last two parts of a URL
- String Containing Exact Substring from Substring L
- Understanding pattern matching in Elixir function
- how can i find a key in a map based on a pattern m
相关文章
- What is the difference between /* and /** pattern
- A more complex version of “How can I tell if a str
- Does the order of alternatives in a Scala match ex
- Scala Pattern Matching with Sets
- Why are variables not allowed in alternative patte
- Difference between original Boyer–Moore and Boyer–
- How to count occurrence of each character in java
- What is wrong with my regex Pattern to find recurr
You can't pattern match on type and you shouldn't. When I compile your code I receive next error:
This was already discussed earlier:
UPDATE:
Finally found more relevant question with answer:
Why is typecase a bad thing?