check if a tree is complete standard ml

Posted by aizen92 on Stack Overflow See other posts from Stack Overflow or by aizen92
Published on 2012-03-29T14:57:58Z Indexed on 2012/03/29 17:29 UTC
Read the original article Hit count: 209

Filed under:

function

|

types

|

tree

|

ml

I want to make a function in standard ml that checks if a tree is complete or not, the function somehow works, but its giving me the wrong type and a warning of non-exhaustive cases

The tree code:

datatype 'data tree = 
  EMPTY
| NODE of 'data tree * 'data * 'data tree;

fun isComplete EMPTY = true
  | isComplete (NODE(x, y, z)) = if (x = EMPTY andalso z <> EMPTY) orelse (x <> EMPTY andalso z = EMPTY) then false else true;

Now the above function's type is: ''a tree -> bool but the required type is 'a tree -> bool

The warning I'm having is:

stdIn:169.8 Warning: calling polyEqual
stdIn:169.26 Warning: calling polyEqual
stdIn:169.45-169.47 Warning: calling polyEqual
stdIn:169.64-169.66 Warning: calling polyEqual
stdIn:124.1-169.94 Warning: match nonexhaustive
          NODE (x,y,z) => ...

What is the problem I'm having?

© Stack Overflow or respective owner

Related posts about function

MAMP + Python MySQLDB - trouble installing

as seen on Server Fault - Search for 'Server Fault'
I'm currently running the latest version of MAMP on my Snow Leopard OSX, and I'm trying to install MySQLDB. Downloaded: MySQL-python-1.2.3c1 I went into the setup_posix.py and adjusted the location of the mysql_config to the one in MAMP: mysql_config.path = "/Applications/MAMP/Library/bin/mysql_config" When… >>> More
Compiling a program with a legacy version of gcc

as seen on Stack Overflow - Search for 'Stack Overflow'
This is probably a very difficult problem to troubleshoot with the information I can practically provide, but I'm hoping someone might be able to at least point me in a possible direction. I'm trying to install HTK (http://htk.eng.cam.ac.uk/), which, according to this page needs to be installed using… >>> More
eventmachine on debian fails install via rubygems

as seen on Stack Overflow - Search for 'Stack Overflow'
this has been killing me for the last 5 hours. I don't seem to be able to get eventmachine running on my debian box. here this output: $ gem install thin Building native extensions. This could take a while... ERROR: Error installing thin: ERROR: Failed to build gem native extension. … >>> More
Can overloading is possible with two version of function, constant member function and function with

as seen on Stack Overflow - Search for 'Stack Overflow'
Hello, I just came across various overloading methods like type of parameter passed, varying number of parameters, return type etc. I just want to know that can I overload a function with following two version //function which can modify member String& MyClass::doSomething(); //constant member… >>> More
[PHP] function().function() VS function()function()

as seen on Stack Overflow - Search for 'Stack Overflow'
Hi all, I was writing a foreach Loop in PHP5. Here is the script: foreach(range('A','Z') as $char) // line 1 { // line 2 echo strtoupper($char)strtolower($char); // line 3 } // line 4 And I got this error message Parse error: parse error, unexpected T_STRING in testing.php on line 3 I spent almost… >>> More

Related posts about types

value types in the vm

as seen on Oracle Blogs - Search for 'Oracle Blogs'
value types in the vm p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 14.0px Times} p.p2 {margin: 0.0px 0.0px 14.0px 0.0px; font: 14.0px Times} p.p3 {margin: 0.0px 0.0px 12.0px 0.0px; font: 14.0px Times} p.p4 {margin: 0.0px 0.0px 15.0px 0.0px; font: 14.0px Times} … >>> More
How can I get PowerShell Added-Types to use Added Types

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm working on a PoSh project that generates CSharp code, and then Add-Types it into memory. The new types use existing types in an on disk DLL, which is loaded via Add-Type. All is well and good untill I actualy try to invoke methods on the new types. Here's an example of what I'm doing: $PWD… >>> More
NDepend query methods/types in framework assembly being used by other assemblies/types

as seen on Stack Overflow - Search for 'Stack Overflow'
I am trying to determine which types or methods in a base framework assembly are being used by other assemblies in the application system. I cannot seem to find a straight-cut query to do that. What i have to do is first determine which assemblies are directly using the framework assembly, then manually… >>> More
Concrete Types or Interfaces for return types?

as seen on Stack Overflow - Search for 'Stack Overflow'
Today I came to a fundamental paradox of the object programming style, concrete types or interfaces. Whats the better election for a method's return type: a concrete type or an interface? In most cases, I tend to use concrete types as the return type for methods. because I believe that an concrete… >>> More
Using Scala structural types with abstract types

as seen on Stack Overflow - Search for 'Stack Overflow'
I'm trying to define a structural type defining anything that has an "add" method (for instance, a java collection or a java map). Using this, I want to define a few higher order functions that operate on a certain collection object GenericTypes { type GenericCollection[T] = { def add(value: T):… >>> More